Arch-comp19 category report
Stochastic modelling
Alessandro Abate (University of Oxford)
H.A.P. Blom (TU Delft - Air Transport & Operations)
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 (Royal Netherlands Aerospace Centre, TU Delft - Air Transport & Operations)
Meeko Oishi (University of New Mexico)
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 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.