
ARCH-COMP21 Category Report: Stochastic Models
Author(s) -
Alessandro Abate,
H.A.P. Blom,
Marc Bouissou,
Nathalie Cauchi,
Hassane Chraïbi,
Joanna Delicaris,
Sofie Haesaert,
Arnd Hartmanns,
Mahmoud Khaled,
Abolfazl Lavaei,
Hao Ma,
Kaushik Mallik,
Mathis Niehage,
Anne Remke,
Stefan Schupp,
Fedor Shmarov,
Sadegh Soudjani,
Adam J. Thorpe,
Vlad Turcuman,
Paolo Zuliani
Publication year - 2021
Publication title -
epic series in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 2398-7340
DOI - 10.29007/dprv
Subject(s) - competition (biology) , arch , computer science , software engineering , artificial intelligence , operations research , engineering , civil engineering , ecology , biology
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.