ARCH-COMP21 Category Report: Stochastic Models

35 pages•Published: December 6, 2021

Abstract

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/Summer 2021.

Keyphrases: control synthesis, control theory, formal verification, model checking, stochastic models

In: Goran Frehse and Matthias Althoff (editors). 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), vol 80, pages 55-89.

Links:	https://easychair.org/publications/paper/GjCj
	https://doi.org/10.29007/dprv

BibTeX entry

@inproceedings{ARCH21:ARCH_COMP21_Category_Report,
  author    = {Alessandro Abate and Henk Blom and Marc Bouissou and Nathalie Cauchi and Hassane Chraibi and Joanna Delicaris and Sofie Haesaert and Arnd Hartmanns and Mahmoud Khaled and Abolfazl Lavaei and Hao Ma and Kaushik Mallik and Mathis Niehage and Anne Remke and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Adam Thorpe and Vlad Turcuman and Paolo Zuliani},
  title     = {ARCH-COMP21 Category Report: Stochastic Models},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/GjCj},
  doi       = {10.29007/dprv},
  pages     = {55-89},
  year      = {2021}}

Download PDF Open PDF in browser