Stochastic Models
Alessandro Abate (University of Oxford)
Omid Akbarzadeh (Newcastle University)
H.A.P. Blom (TU Delft - Operations & Environment)
Sofie Haesaert (Eindhoven University of Technology)
Sina Hassani (Aalborg University)
Abolfazl Lavaei (Newcastle University)
Frederik Baymler Mathiesen (TU Delft - Team Luca Laurenti)
Rahul Misra (Universität Münster)
Amy Nejati (Newcastle University)
undefined 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
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. In particular, this report introduces three recently developed software tools, a new water distribution network benchmark, and a collection of simplified benchmarks intended to facilitate further comparisons among tools that were previously not directly comparable. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2025.