ARCH-COMP25 Category Report: Stochastic Models

30 pages•Published: December 22, 2025

Alessandro Abate, Omid Akbarzadeh, Henk A.P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding and Mahdieh Zaker

Abstract

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. In particular, this report introduces three recently developed software tools, a new water distribution network benchmark, and a collection of simplified benchmarks intended to facilitate further comparisons among tools that were previously not directly comparable. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2025.

Keyphrases: software tools, stochastic hybrid systems, stochastic models

In: Goran Frehse and Matthias Althoff (editors). Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, vol 108, pages 122-151.

Links:	https://easychair.org/publications/paper/ck2r
	https://doi.org/10.29007/mfm4

BibTeX entry

@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
  author    = {Alessandro Abate and Omid Akbarzadeh and Henk A.P. Blom and Sofie Haesaert and Sina Hassani and Abolfazl Lavaei and Frederik Baymler Mathiesen and Rahul Misra and Amy Nejati and Mathis Niehage and Fie Ørum and Anne Remke and Behrad Samari and Ruohan Wang and Rafal Wisniewski and Ben Wooding and Mahdieh Zaker},
  title     = {ARCH-COMP25 Category Report: Stochastic Models},
  booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {108},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/ck2r},
  doi       = {10.29007/mfm4},
  pages     = {122-151},
  year      = {2025}}

Download PDF Open PDF in browser