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/Summer 2020.
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/Summer 2020.
Original language | English |
---|---|
Title of host publication | EPiC Series in Computing |
Subtitle of host publication | ARCH20. 7th International Workshop on Applied Verication of Continuous and Hybrid Systems (ARCH20) |
Editors | Goran Frehse, Matthias Althoff |
Pages | 76-106 |
Volume | 74 |
Publication status | Published - 2020 |
Event | ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems - Berlin, Germany Duration: 12 Jul 2020 → 12 Jul 2020 Conference number: 7 |
Publication series
Name | EPiC Series in Computing |
---|---|
Volume | 74 |
Workshop
Workshop | ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems |
---|---|
Abbreviated title | ARCH20 |
Country/Territory | Germany |
City | Berlin |
Period | 12/07/20 → 12/07/20 |
Other | Virtual/online event due to COVID-19 |