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 ACM International Conference on Hybrid Systems: Computation and Control |
|---|---|
| Kurztitel | HSCC 2018 |
| Veranstaltungsnummer | 21 |
| Beschreibung | (part of CPS Week) |
| Dauer | 11 - 13 April 2018 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Palácio da Bolsa |
| Stadt | Porto |
| Land | Portugal |