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
Research article in edited proceedings (conference)Details about the publication
Editors: Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie
Book title: Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Page range: 113-141
Publisher: EasyChair
Place of publication: München
Title of series: EPiC Series in Computing (ISSN: 2398-7340)
Volume of series: 90
Status: Published
Release year: 2022
Language in which the publication is written: English
Conference: 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), München, Germany
DOI: 10.29007/lsvc
Keywords: control synthesis, formal verification, Markov chains, Markov Decision Processes, stochastic models
Authors from the University of Münster
| Delicaris, Joanna Georgia | Professorship for practical computer science (Prof. Remke) |
| Niehage, Mathis Friedrich | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |
| Willemsen, Lisa Constanze | Institute of Computer Science |