Bisimulations, logics, and trace distributions for stochastic systems with rewards
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Daniel Gburek - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
11 Apr. 2018 → 13 Apr. 2018
Beschreibung
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
Konferenz
| Titel | 21st International Conference on Hybrid Systems: Computation and Control |
|---|---|
| Untertitel | (part of CPS Week) |
| Kurztitel | HSCC 2018 |
| Veranstaltungsnummer | |
| Dauer | 11 - 13 April 2018 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Porto |
| Land | Italien |