Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
Datum
10 Sept. 2024
Konferenz
| Titel | 1st International Joint Conference on Quantitative Evaluation of SysTems & Formal Modeling and Analysis of Timed Systems |
|---|---|
| Kurztitel | QEST+FORMATS 2024 |
| Beschreibung | part of the CONFEST 2024 conference |
| Dauer | 9 - 13 September 2024 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Best Western Plus Village Park Inn |
| Stadt | Calgary |
| Land | Kanada |