
ARCH-COMP20 Category Report: Stochastic Models
Author(s) -
Alessandro Abate,
H.A.P. Blom,
Nathalie Cauchi,
Joanna Delicaris,
Arnd Hartmanns,
Mahmoud Khaled,
Abolfazl Lavaei,
Carina Pilch,
Anne Remke,
Stefan Schupp,
Fedor Shmarov,
Sadegh Soudjani,
Abraham P. Vinod,
Ben Wooding,
Majid Zamani,
Paolo Zuliani
Publication year - 2020
Publication title -
epic series in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 2398-7340
DOI - 10.29007/mqzc
Subject(s) - competition (biology) , arch , computer science , artificial intelligence , software engineering , 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 2020.