ARCH-COMP21 Category Report:Stochastic Models
- Abate, Alessandro
- Blom, Henk
- Bouissou, Marc
- Cauchi, Nathalie
- Chraibi, Hassane
- Delicaris, Joanna
- Haesaert, Sofie
- Hartmanns, Arnd
- Khaled, Mahmoud
- Lavaei, Abolfazl
- Ma, Hao
- Mallik, Kaushik
- Niehage, Mathis
- Remke, Anne
- Schupp, Stefan
- Shmarov, Fedor
- Soudjani, Sadegh
- Thorpe, Adam
- Turcuman, Vlad
- Zuliani, Paolo
Publication date
January 2021
DOIAbstract
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 2021.</p
Add to ORKG