Skip to content Skip to footer

Bisimulations, logics, and trace distributions for stochastic systems with rewards

Activity: Talk or presentation at external institutions/eventsTalk/PresentationContributed

Persons and affiliations

Date

11 Apr 201813 Apr 2018

Description

Speaker: Daniel Gburek
Event: 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Location: Porto
Country: Portugal
Duration of event: 11.04.2018-13.04.2018

Conference

Title21st ACM International Conference on Hybrid Systems: Computation and Control
Abbreviated titleHSCC 2018
Conference number21
Description(part of CPS Week)
Duration11 - 13 April 2018
Website
Degree of recognitionInternational event
LocationPalácio da Bolsa
CityPorto
CountryPortugal

Keywords

Related content