ARCH-COMP19 Category Report: Stochastic Modelling
Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Degiorgio, Kurt; Fränzle, Martin; Hahn, Ernst Moritz ; Haesaert, Sofie; Ma, Hao; Oishi, Meeko ; Pilch, Carina; Remke, Anne; Salamati, Mahmoud; Soudjani, Sadegh; van Huijgevoort, Birgit; Vinod, Abraham
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Frehse, Goran; Althoff, Matthias
Buchtitel: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Seitenbereich: 62-102
Verlag: EasyChair
Erscheinungsort: Montreal,
Titel der Reihe: EPiC Series in Computing (ISSN: 2398-7340)
Nr. in Reihe: 61
Status: Veröffentlicht
Veröffentlichungsjahr: 2019
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Montreal, Kanada
DOI: 10.29007/f2vb
Stichwörter: stochastic modelling
Autor*innen der Universität Münster
| da Silva, Carina | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |