ARCH-COMP19 category report: Stochastic modelling
6th International Workshop on Applied veRification for Continuous …, 2019•research.tudelft.nl
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.
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.
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.
research.tudelft.nl
Showing the best result for this search. See all results