ARCH-COMP21 Category Report: Stochastic Models

Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

23 Downloads (Pure)
Original languageEnglish
Title of host publication8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021
EditorsGoran Frehse, Matthias Althoff
PublisherEasyChair
Pages55-89
Number of pages35
DOIs
Publication statusPublished - 6 Dec 2021
Event8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021 - Virtual Event
Duration: 6 Dec 20216 Dec 2021
Conference number: 8

Publication series

NameEPiC Series in Computing
PublisherEasyChair
Volume80
ISSN (Electronic)2398-7340

Conference

Conference8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021
Abbreviated titleARCH 2021
CityVirtual Event
Period6/12/216/12/21

Cite this