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
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Frehse, Goran; Althoff, Matthias
Book title: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Page range: 62-102
Publishing company: EasyChair
Place of publication: Montreal,
Title of series: EPiC Series in Computing (ISSN: 2398-7340)
Volume of series: 61
Status: Published
Release year: 2019
Language in which the publication is written: English
Conference: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Montreal, Canada
DOI: 10.29007/f2vb
Keywords: stochastic modelling
Authors from the University of Münster
| da Silva, Carina | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |