ARCH-COMP20 Category Report: Stochastic Models

Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, More Authors

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

219 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationEPiC Series in Computing
Subtitle of host publicationARCH20. 7th International Workshop on Applied Verication of Continuous and Hybrid Systems (ARCH20)
EditorsGoran Frehse, Matthias Althoff
Publication statusPublished - 2020
EventARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems - Berlin, Germany
Duration: 12 Jul 202012 Jul 2020
Conference number: 7

Publication series

NameEPiC Series in Computing


WorkshopARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated titleARCH20
OtherVirtual/online event due to COVID-19

Bibliographical note

Virtual/online event due to COVID-19


Dive into the research topics of 'ARCH-COMP20 Category Report: Stochastic Models'. Together they form a unique fingerprint.

Cite this