Arch-comp19 category report: Stochastic modelling

Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

Research output: Contribution to journalConference articlepeer-review

11 Citations (Scopus)


This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s edition of the competition. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Spring 2019.

Original languageEnglish
Pages (from-to)62-102
Number of pages41
JournalEPiC Series in Computing
Publication statusPublished - 2019
Event6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 - Montreal, Canada
Duration: 15 Apr 201915 Apr 2019


Dive into the research topics of 'Arch-comp19 category report: Stochastic modelling'. Together they form a unique fingerprint.

Cite this