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)Details 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
DOI: 10.29007/dprv
Autor*innen der Universität Münster
| Delicaris, Joanna Georgia | |
| Niehage, Mathis Friedrich | |
| Remke, Anne |