ARCH-COMP23 Category Report: Stochastic Models

Conference paper (2023)

Authors

Alessandro Abate University of Oxford
H.A.P. Blom Air Transport & Operations - Aerospace Engineering
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
More Authors More Authors External organisation
Research Group
Air Transport & Operations (Aerospace Engineering) (TU Delft)
Copyright: © 2023 Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schon, More Authors
More Info
expand_more

Published Date

2023

Language

English

Reuse Rights

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.

Faculty

Aerospace Engineering

Department

Control & Operations

Research Group

Air Transport & Operations

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.