ARCH-COMP22 Category Report: Stochastic Models
Abate, Alessandro; Blom, Henk; Delicaris, Joanna; Haesaert, Sofie; Hartmanns, Arnd; van Huijgevoort, Birgit; Lavaei, Abolfazl; Ma, Hao; Niehage, Mathis; Remke, Anne; Schön, Oliver; Schupp, Stefan; Soudjani, Sadegh; Willemsen, Lisa
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie
Buchtitel: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Seitenbereich: 113-141
Verlag: EasyChair
Erscheinungsort: München
Titel der Reihe: EPiC Series in Computing (ISSN: 2398-7340)
Nr. in Reihe: 90
Status: Veröffentlicht
Veröffentlichungsjahr: 2022
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), München, Deutschland
DOI: 10.29007/lsvc
Stichwörter: control synthesis, formal verification, Markov chains, Markov Decision Processes, stochastic models
Autor*innen der Universität Münster
| Delicaris, Joanna Georgia | Professur für Praktische Informatik (Prof. Remke) |
| Niehage, Mathis Friedrich | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |
| Willemsen, Lisa Constanze | Institut für Informatik |