ARCH-COMP20 Category Report: Stochastic Models

31 pages•Published: September 25, 2020

Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham Vinod, Ben Wooding, Majid Zamani and Paolo Zuliani

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 2020.

Keyphrases: control synthesis, formal verification, hybrid models, probabilistic model checking, probabilistic safety and reachability, simulations, statistical model checking, stochastic models

In: Goran Frehse and Matthias Althoff (editors). ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), vol 74, pages 76-106.

Links:	https://easychair.org/publications/paper/VLXl
	https://doi.org/10.29007/mqzc

BibTeX entry

@inproceedings{ARCH20:ARCH_COMP20_Category_Report,
  author    = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Joanna Delicaris and Arnd Hartmanns and Mahmoud Khaled and Abolfazl Lavaei and Carina Pilch and Anne Remke and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Abraham Vinod and Ben Wooding and Majid Zamani and Paolo Zuliani},
  title     = {ARCH-COMP20 Category Report: Stochastic Models},
  booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {74},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/VLXl},
  doi       = {10.29007/mqzc},
  pages     = {76-106},
  year      = {2020}}

Download PDF Open PDF in browser