Record link: 
http://hdl.handle.net/20.500.12708/142519
-
Title: 
ARCH-COMP22 Category Report: Stochastic Models
en
Citation: 
Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S., & Willemsen, L. (2022). ARCH-COMP22 Category Report: Stochastic Models. In G. Frehse, Matthias Althoff, E. Schoitsch, & Jeremie Guiochet (Eds.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). EasyChair. https://doi.org/10.29007/lsvc
-
Publisher DOI: 
10.29007/lsvc
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
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 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Published in: 
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) 
-
Volume: 
90
-
Date (published): 
2022
-
Event name: 
9th International Workshop on Applied Verification of Continuous and Hybrid Systems 
en
Event date: 
6-Sep-2022
-
Event place: 
Munich, Germany
-
Number of Pages: 
29
-
Publisher: 
EasyChair
-
Keywords: 
Hybrid Systems; Stochastic Hybrid Systems; Competition
en
Abstract: 
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.
en
Research Areas: 
Mathematical and Algorithmic Foundations: 40%
Computer Engineering and Software-Intensive Systems: 30%
Modeling and Simulation: 30%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

319
checked on Nov 23, 2023

Google ScholarTM

Check