ARCH-COMP22 Category Report: Stochastic Models

Alessandro Abate, H.A.P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, H. Ma, Mathis Niehage, Anne Remke, More Authors

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

42 Downloads (Pure)


This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks and their properties within this category and recommends next steps for this category towards next year’s edition of the competition. In comparison with tools on non-probabilistic models, the tools for stochastic models are at the early stages of development that do not allow full competition on a standard set of benchmarks. We report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between efficiency of the implemented techniques. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2022.
Original languageEnglish
Title of host publication9th International Workshop on Applied Verication of Continuous and Hybrid Systems
EditorsGoran Frehse , Matthias Althoff
Number of pages25
Publication statusPublished - 2022
Event9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems - Munich, Germany
Duration: 5 Sept 20225 Sept 2022
Conference number: 9

Publication series

NameEPiC Series in Computing


Conference9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Abbreviated titleARCH 2022


Dive into the research topics of 'ARCH-COMP22 Category Report: Stochastic Models'. Together they form a unique fingerprint.

Cite this