ARCH-COMP22 Category Report: Stochastic Models

ARCH-COMP22 Category Report: Stochastic Models

Abate, Alessandro (University of Oxford)
Blom, H.A.P. (TU Delft Air Transport & Operations)
Delicaris, Joanna (University of Münster)
Haesaert, Sofie (Eindhoven University of Technology)
Hartmanns, Arnd (University of Twente)
van Huijgevoort, Birgit (Eindhoven University of Technology)
Lavaei, Abolfazl (Newcastle University)
Ma, H. (TU Delft Air Transport & Operations)
Niehage, Mathis (University of Münster)
Remke, Anne (University of Münster)

Frehse, Goran (editor)
Althoff, Matthias (editor)

2022

This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks and their properties within this category and recommends next steps for this category towards next year’s edition of the competition. In comparison with tools on non-probabilistic models, the tools for stochastic models are at the early stages of development that do not allow full competition on a standard set of benchmarks. We report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between efficiency of the implemented techniques. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2022.

http://resolver.tudelft.nl/uuid:2fc22b87-aa7e-4364-a6b2-c5150c1593f1

9th International Workshop on Applied Verication of Continuous and Hybrid Systems

9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, 2022-09-05, Munich, Germany

EPiC Series in Computing, 90

Institutional Repository

conference paper

© 2022 Alessandro Abate, H.A.P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, H. Ma, Mathis Niehage, Anne Remke, More Authors