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
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Buchtitel: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Seitenbereich: 55-89
Titel der Reihe: EPiC Series in Computing (ISSN: 2398-7340)
Nr. in Reihe: 80
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH21, undefined
DOI: 10.29007/dprv
Autor*innen der Universität Münster
| Delicaris, Joanna Georgia | Fachbereich 10 Mathematik und Informatik (FB10) |
| Niehage, Mathis Friedrich | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |