z-logo
open-access-imgOpen Access
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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here