ARCH-COMP23 Category Report: Stochastic Models
Alessandro Abate (University of Oxford)
HAP Blom (Air Transport & Operations)
Nathalie Cauchi (University of Oxford)
Joanna Delicaris (University of Münster)
Sofie Haesaert (Eindhoven University of Technology)
Birgit van Huijgevoort (Eindhoven University of Technology)
Abolfazl Lavaei (Newcastle University)
Anne Remke (University of Münster)
Oliver Schon (Newcastle University)
G.B. More authors (External organisation)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
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.