Certificates for Multi-Objective Queries in Markov Decision Processes
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
Datum
28 Sept. 2023
Workshop
Titel | ROCKS Workshop 2023 |
---|---|
Kurztitel | ROCKS 2023 |
Dauer | 27 - 29 September 2023 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | Universität des Saarlandes |
Stadt | Saarbrücken |
Land | Deutschland |