Print Email Facebook Twitter ARCH-COMP21 Category Report: Stochastic Models Title ARCH-COMP21 Category Report: Stochastic Models Author Abate, Alessandro (University of Oxford) Blom, H.A.P. (TU Delft Air Transport & Operations) Bouissou, Marc (EDF Lab Les Renardieres) Cauchi, Nathalie (University of Oxford) Chraibi, Hassane (EDF Lab Les Renardieres) Delicaris, Joanna (University of Münster) Haesaert, Sofie (Eindhoven University of Technology) Hartmanns, Arnd (University of Twente) Ma, H. (TU Delft Air Transport & Operations) Contributor Frehse, Goran (editor) Althoff, Matthias (editor) Date 2021 Abstract This report presents the results of a friendly competition for formal verification andpolicy 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/Summer 2021. To reference this document use: http://resolver.tudelft.nl/uuid:49ad0d23-2978-4786-8d44-5e3b55d8b985 Source 8th International Workshop on Applied Verication of Continuous and Hybrid Systems Event 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021-07-09, brussel, Belgium Series EPiC Series in Computing, 80 Part of collection Institutional Repository Document type conference paper Rights © 2021 Alessandro Abate, H.A.P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, H. Ma, More Authors Files PDF ARCH_COMP21_Category_Repo ... Models.pdf 879.63 KB Close viewer /islandora/object/uuid:49ad0d23-2978-4786-8d44-5e3b55d8b985/datastream/OBJ/view