Arch-comp19 category report

Stochastic modelling

Conference paper (2019)

Authors

Alessandro Abate University of Oxford
H.A.P. Blom Air Transport & Operations - Aerospace Engineering
Nathalie Cauchi University of Oxford
Kurt Degiorgio Diffblue
Martin Franzle University of Oldenburg
Ernst Moritz Hahn University of Liverpool
Sofie Haesaert Eindhoven University of Technology
H. Ma Air Transport & Operations - Aerospace Engineering , Royal Netherlands Aerospace Centre NLR
Meeko Oishi University of New Mexico
More Authors More Authors External organisation
Research Group
Air Transport & Operations (Aerospace Engineering) (TU Delft)
Copyright: © 2019 Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Franzle, Ernst Moritz Hahn, Sofie Haesaert, H. Ma, Meeko Oishi, More Authors
DOI
help_outline
https://doi.org/10.29007/f2vb
More Info
expand_more

Published Date

2019

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 within this category, and recommends next steps for this category towards next year’s edition of the competition. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Spring 2019.