ARCH-COMP20 Category Report: Stochastic Models
Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Delicaris, Joanna; Hartmanns, Arnd; Khaled, Mahmoud; Lavaei, Abolfazl; Pilch, Carina; Remke, Anne; Schupp, Stefan; Shmarov, Fedor; Soudjani, Sadegh; Vinod, Abraham; Wooding, Ben; Zamani, Majid; Zuliani, Paolo
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Frehse, Goran; Althoff, Matthias
Book title: ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Page range: 76-106
Publisher: EasyChair
Place of publication: online
Title of series: EPiC Series in Computing (ISSN: 2398-7340)
Volume of series: 74
Status: Published
Release year: 2020
Language in which the publication is written: English
Conference: ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, online, Online
DOI: 10.29007/mqzc
Keywords: stochastic models
Authors from the University of Münster
| da Silva, Carina | |
| Delicaris, Joanna Georgia | |
| Remke, Anne | |
| Schupp, Stefan Alexander |