ARCH-COMP21 Category Report: Stochastic Models
Abate Alessandro, Blom Henk, Bouissou Marc, Cauchi Nathalie, Chraibi Hassane, Delicaris Joanna, Haesaert Sofie, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Ma Hao, Mallik Kaushik, Niehage Mathis, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Thorpe Adam, Turcuman Vlad, Zuliani Paolo
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Book title: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Page range: 55-89
Title of series: EPiC Series in Computing (ISSN: 2398-7340)
Volume of series: 80
Status: Published
Release year: 2021
Language in which the publication is written: English
Conference: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH21, undefined
DOI: 10.29007/dprv
Authors from the University of Münster
| Delicaris, Joanna Georgia | FB10 - Faculty of Mathematics and Computer Science (FB10) |
| Niehage, Mathis Friedrich | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |