---
_id: '34532'
abstract:
- lang: eng
  text: <jats:p>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.</jats:p>
author:
- first_name: Alessandro
  full_name: Abate, Alessandro
  last_name: Abate
- first_name: Henk
  full_name: Blom, Henk
  last_name: Blom
- first_name: Joanna
  full_name: Delicaris, Joanna
  last_name: Delicaris
- first_name: Sofie
  full_name: Haesaert, Sofie
  last_name: Haesaert
- first_name: Arnd
  full_name: Hartmanns, Arnd
  last_name: Hartmanns
- first_name: Birgit
  full_name: van Huijgevoort, Birgit
  last_name: van Huijgevoort
- first_name: Abolfazl
  full_name: Lavaei, Abolfazl
  last_name: Lavaei
- first_name: Hao
  full_name: Ma, Hao
  last_name: Ma
- first_name: Mathis
  full_name: Niehage, Mathis
  last_name: Niehage
- first_name: Anne
  full_name: Remke, Anne
  last_name: Remke
- first_name: Oliver
  full_name: Schön, Oliver
  last_name: Schön
- first_name: Stefan
  full_name: Schupp, Stefan
  last_name: Schupp
- first_name: Sadegh
  full_name: Soudjani, Sadegh
  last_name: Soudjani
- first_name: Lisa
  full_name: Willemsen, Lisa
  last_name: Willemsen
citation:
  ama: 'Abate A, Blom H, Delicaris J, et al. ARCH-COMP22 Category Report: Stochastic
    Models. In: <i>EPiC Series in Computing</i>. EasyChair; 2022. doi:<a href="https://doi.org/10.29007/lsvc">10.29007/lsvc</a>'
  apa: 'Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort,
    B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani,
    S., &#38; Willemsen, L. (2022). ARCH-COMP22 Category Report: Stochastic Models.
    <i>EPiC Series in Computing</i>. <a href="https://doi.org/10.29007/lsvc">https://doi.org/10.29007/lsvc</a>'
  bibtex: '@inproceedings{Abate_Blom_Delicaris_Haesaert_Hartmanns_van Huijgevoort_Lavaei_Ma_Niehage_Remke_et
    al._2022, title={ARCH-COMP22 Category Report: Stochastic Models}, DOI={<a href="https://doi.org/10.29007/lsvc">10.29007/lsvc</a>},
    booktitle={EPiC Series in Computing}, publisher={EasyChair}, author={Abate, Alessandro
    and Blom, Henk and Delicaris, Joanna and Haesaert, Sofie and Hartmanns, Arnd and
    van Huijgevoort, Birgit and Lavaei, Abolfazl and Ma, Hao and Niehage, Mathis and
    Remke, Anne and et al.}, year={2022} }'
  chicago: 'Abate, Alessandro, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns,
    Birgit van Huijgevoort, Abolfazl Lavaei, et al. “ARCH-COMP22 Category Report:
    Stochastic Models.” In <i>EPiC Series in Computing</i>. EasyChair, 2022. <a href="https://doi.org/10.29007/lsvc">https://doi.org/10.29007/lsvc</a>.'
  ieee: 'A. Abate <i>et al.</i>, “ARCH-COMP22 Category Report: Stochastic Models,”
    2022, doi: <a href="https://doi.org/10.29007/lsvc">10.29007/lsvc</a>.'
  mla: 'Abate, Alessandro, et al. “ARCH-COMP22 Category Report: Stochastic Models.”
    <i>EPiC Series in Computing</i>, EasyChair, 2022, doi:<a href="https://doi.org/10.29007/lsvc">10.29007/lsvc</a>.'
  short: 'A. Abate, H. Blom, J. Delicaris, S. Haesaert, A. Hartmanns, B. van Huijgevoort,
    A. Lavaei, H. Ma, M. Niehage, A. Remke, O. Schön, S. Schupp, S. Soudjani, L. Willemsen,
    in: EPiC Series in Computing, EasyChair, 2022.'
date_created: 2022-12-18T10:56:01Z
date_updated: 2022-12-18T10:56:21Z
department:
- _id: '675'
doi: 10.29007/lsvc
language:
- iso: eng
publication: EPiC Series in Computing
publication_identifier:
  issn:
  - 2398-7340
publication_status: published
publisher: EasyChair
status: public
title: 'ARCH-COMP22 Category Report: Stochastic Models'
type: conference
user_id: '55553'
year: '2022'
...