ARCH-COMP22 Category Report: Stochastic Models

Conference paper (2022)

Authors

Alessandro Abate University of Oxford
H.A.P. Blom Air Transport & Operations - Aerospace Engineering
More Authors More Authors External organisation
Joanna Delicaris University of Münster
Sofie Haesaert Eindhoven University of Technology
Arnd Hartmanns University of Twente
Birgit van Huijgevoort Eindhoven University of Technology
Abolfazl Lavaei Newcastle University
H. Ma Air Transport & Operations - Aerospace Engineering
Mathis Niehage University of Münster
Anne Remke University of Münster
Research Group
Air Transport & Operations (Aerospace Engineering) (TU Delft)
Copyright: © 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
More Info
expand_more

Published Date

2022

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

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.