ARCH-COMP23 Category Report: Stochastic Models

Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schon, More Authors

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

33 Downloads (Pure)


This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year’s edition of the competition. Given that the tools for stochastic models are at their early stages of development compared to those of non-probabilistic models, the main focus is to report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between the efficiency of the implemented techniques. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2023.
Original languageEnglish
Title of host publication10th International Workshop on Applied Verication of Continuous and Hybrid Systems
EditorsGoran Frehse , Matthias Althoff
Publication statusPublished - 2023
Event10th Int. Workshop on Applied Verification for Continuous and Hybrid Systems - , Netherlands
Duration: 18 Oct 202318 Oct 2023
Conference number: 10

Publication series

NameEPiC Series in Computing
ISSN (Electronic)2398-7340


Workshop10th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Abbreviated titleARCH23


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

Cite this