Print Email Facebook Twitter ARCH-COMP22 Category Report: Stochastic Models Title ARCH-COMP22 Category Report: Stochastic Models Author Abate, Alessandro (University of Oxford) Blom, H.A.P. (TU Delft Air Transport & Operations) Delicaris, Joanna (University of Münster) Haesaert, Sofie (Eindhoven University of Technology) Hartmanns, Arnd (University of Twente) van Huijgevoort, Birgit (Eindhoven University of Technology) Lavaei, Abolfazl (Newcastle University) Ma, H. (TU Delft Air Transport & Operations) Niehage, Mathis (University of Münster) Remke, Anne (University of Münster) Contributor Frehse, Goran (editor) Althoff, Matthias (editor) Date 2022 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. To reference this document use: http://resolver.tudelft.nl/uuid:2fc22b87-aa7e-4364-a6b2-c5150c1593f1 Source 9th International Workshop on Applied Verication of Continuous and Hybrid Systems Event 9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, 2022-09-05, Munich, Germany Series EPiC Series in Computing, 90 Part of collection Institutional Repository Document type conference paper Rights © 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 Files PDF ARCH_COMP22_Category_Repo ... Models.pdf 819.82 KB Close viewer /islandora/object/uuid:2fc22b87-aa7e-4364-a6b2-c5150c1593f1/datastream/OBJ/view