Bisimulations, logics, and trace distributions for stochastic systems with rewards
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Daniel Gburek - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
11 Apr 2018 → 13 Apr 2018
Description
Speaker: Daniel GburekEvent: 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
| Title | 21st ACM International Conference on Hybrid Systems: Computation and Control |
|---|---|
| Abbreviated title | HSCC 2018 |
| Conference number | 21 |
| Description | (part of CPS Week) |
| Duration | 11 - 13 April 2018 |
| Website | |
| Degree of recognition | International event |
| Location | Palácio da Bolsa |
| City | Porto |
| Country | Portugal |