ARCH-COMP22 Category Report: Stochastic Models

29 pages•Published: December 13, 2022

Alessandro Abate, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani and Lisa Willemsen

Abstract

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.

Keyphrases: control synthesis, formal verification, markov chains, markov decision processes, stochastic models

In: Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet (editors). Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), vol 90, pages 113-141.

Links:	https://easychair.org/publications/paper/Nzr4
	https://doi.org/10.29007/lsvc

BibTeX entry

@inproceedings{ARCH22:ARCH_COMP22_Category_Report,
  author    = {Alessandro Abate and Henk Blom and Joanna Delicaris and Sofie Haesaert and Arnd Hartmanns and Birgit van Huijgevoort and Abolfazl Lavaei and Hao Ma and Mathis Niehage and Anne Remke and Oliver Schön and Stefan Schupp and Sadegh Soudjani and Lisa Willemsen},
  title     = {ARCH-COMP22 Category Report: Stochastic Models},
  booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
  editor    = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
  series    = {EPiC Series in Computing},
  volume    = {90},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Nzr4},
  doi       = {10.29007/lsvc},
  pages     = {113-141},
  year      = {2022}}

Download PDF Open PDF in browser