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.
Original language | English |
---|---|
Title of host publication | ARCH19 |
Subtitle of host publication | 6th International Workshop on Applied Verification of Continuous and Hybrid Systems |
Editors | Goran Frehse, Matthias Althoff |
Publisher | EasyChair |
Pages | 62-102 |
DOIs | |
Publication status | Published - 2019 |
Externally published | Yes |
Event | 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019 - Montréal, Canada Duration: 15 Apr 2019 → 15 Apr 2019 Conference number: 6 |
Publication series
Name | EPiC Series in Computing |
---|---|
Publisher | EasyChair |
Volume | 61 |
ISSN (Print) | 2398-7340 |
Workshop
Workshop | 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019 |
---|---|
Abbreviated title | ARCH19 |
Country/Territory | Canada |
City | Montréal |
Period | 15/04/19 → 15/04/19 |