ARCH-COMP22 Category Report: Stochastic Models
| Autor: | Abate, Alessandro, Blom, Henk, Delicaris, Joanna, Haesaert, Sofie, Hartmanns, Arnd, van Huijgevoort, Birgit, Lavaei, Abolfazl, Ma, Hao, Niehage, Mathis, Remke, Anne, Schön, Oliver, Schupp, Stefan, Soudjani, Sadegh, Willemsen, Lisa, Frehse, Goran, Althoff, Matthias, Schoitsch, Erwin, Guiochet, Jeremie |
|---|---|
| Přispěvatelé: | Formal Methods and Tools, Digital Society Institute, Mathematics of Operations Research, Control Systems, EAISI Foundational, EAISI High Tech Systems, Autonomous Motion Control Lab, Cyber-Physical Systems Center Eindhoven, Formal methods for control of cyber-physical systems, Spatial-Temporal Systems for Control |
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) EPiC Series in Computing, 90, 113-141. EasyChair |
| ISSN: | 2398-7340 |
| DOI: | 10.29007/lsvc |
| Popis: | This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks and their properties within this category and recommends next steps for this category towards next year’s edition of the competition. In comparison with tools on non-probabilistic models, the tools for stochastic models are at the early stages of development that do not allow full competition on a standard set of benchmarks. We report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between efficiency of the implemented techniques. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2022. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|