ARCH-COMP18 Category Report

ARCH-COMP18 Category Report: Stochastic Modelling

Abate, Alessandro (University of Oxford)
Blom, H.A.P. (TU Delft Air Transport & Operations)
Cauchi, Nathalie (University of Oxford)
Haesaert, Sofie (California Institute of Technology)
Hartmanns, Arnd (University of Twente)
Lesser, Kendra (Verus Research)
Oishi, Meeko (University of New Mexico)
Sivaramakrishnan, Vignesh (University of New Mexico)
Soudjani, Sadegh (Newcastle University)

2018

This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2018. In this first edition, we present five benchmarks with different levels of complexities and stochastic favours. We make use of six different tools and frameworks (in alphabetical order): Barrier Certificates, FAUST2, FIRM-GDTL, Modest, SDCPN modelling & MC simulation and SReachTools; and attempt to solve instances of the five different benchmark problems. Through these benchmarks, we capture a snapshot on the current state-of the art tools and frameworks within the stochastic modelling domain. We also present the challenges encountered within this domain and highlight future plans which will push forward the development of more tools and methodologies for performing formal verification and optimal policy synthesis of stochastic processes.

http://resolver.tudelft.nl/uuid:c7794212-7bf2-4682-aab4-27eb00d66077

https://doi.org/10.29007/7ks7

EPiC Series in Computing, 54

ARCH18: 5th International Workshop on Applied
Verification of Continuous and Hybrid Systems, 2018-07-13, Oxford, United Kingdom

Institutional Repository

conference paper

© 2018 Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, More Authors