ARCH-COMP22 Category Report: Stochastic Models

A. Abate, H. Blom, J. Delicaris, S. Haesaert, A. Hartmanns, B. van Huijgevoort, A. Lavaei, H. Ma, M. Niehage, A. Remke, O. Schön, S. Schupp, S. Soudjani, L. Willemsen, in: EPiC Series in Computing, EasyChair, 2022.

No fulltext has been uploaded.
Conference Paper | Published | English
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
<jats:p>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.</jats:p>
Publishing Year
Proceedings Title
EPiC Series in Computing

Cite this

Abate A, Blom H, Delicaris J, et al. ARCH-COMP22 Category Report: Stochastic Models. In: EPiC Series in Computing. EasyChair; 2022. doi:10.29007/lsvc
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. EPiC Series in Computing.
@inproceedings{Abate_Blom_Delicaris_Haesaert_Hartmanns_van Huijgevoort_Lavaei_Ma_Niehage_Remke_et al._2022, title={ARCH-COMP22 Category Report: Stochastic Models}, DOI={10.29007/lsvc}, booktitle={EPiC Series in Computing}, publisher={EasyChair}, author={Abate, Alessandro and Blom, Henk and Delicaris, Joanna and Haesaert, Sofie and Hartmanns, Arnd and van Huijgevoort, Birgit and Lavaei, Abolfazl and Ma, Hao and Niehage, Mathis and Remke, Anne and et al.}, year={2022} }
Abate, Alessandro, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, et al. “ARCH-COMP22 Category Report: Stochastic Models.” In EPiC Series in Computing. EasyChair, 2022.
A. Abate et al., “ARCH-COMP22 Category Report: Stochastic Models,” 2022, doi: 10.29007/lsvc.
Abate, Alessandro, et al. “ARCH-COMP22 Category Report: Stochastic Models.” EPiC Series in Computing, EasyChair, 2022, doi:10.29007/lsvc.


Marked Publications

Open Data LibreCat

Search this title in

Google Scholar