ARCH-COMP23 Category Report: Stochastic Models

ARCH-COMP23 Category Report: Stochastic Models

Abate, Alessandro (University of Oxford)
Blom, H.A.P. (TU Delft Air Transport & Operations)
Cauchi, Nathalie (University of Oxford)
Delicaris, Joanna (University of Münster)
Haesaert, Sofie (Eindhoven University of Technology)
van Huijgevoort, Birgit (Eindhoven University of Technology)
Lavaei, Abolfazl (Newcastle University)
Remke, Anne (University of Münster)
Schon, Oliver (Newcastle University)

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

2023

Abstract
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year’s edition of the competition. Given that the tools for stochastic models are at their early stages of development compared to those of non-probabilistic models, the main focus is to report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between the efficiency of the implemented techniques. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2023.

http://resolver.tudelft.nl/uuid:9376a51c-d62d-4ace-9e60-36798586a0ca

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

10th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, 2023-10-18, Netherlands

EPiC Series in Computing, 2398-7340, 96

Institutional Repository

conference paper

© 2023 Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schon, More Authors