ARCH-COMP22 Category Report: Stochastic Models

Alessandro Abate; Henk Blom; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Birgit van Huijgevoort; Abolfazl Lavaei; Hao Ma; Mathis Niehage; Anne Remke; Oliver Schön; Stefan Schupp; Sadegh Soudjani; Lisa Willemsen

doi:10.29007/lsvc

ARCH-COMP22 Category Report: Stochastic Models

Alessandro Abate, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

6 Citations (Scopus)

75 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Editors	Goran Frehse, Matthias Althoff, Erwin Schoitsch, Jeremie Guiochet
Publisher	EasyChair
Pages	113–141
Number of pages	29
DOIs	https://doi.org/10.29007/lsvc
Publication status	Published - 13 Dec 2022

Publication series

Name	EPiC Series in Computing
Publisher	EasyChair
Volume	90
ISSN (Electronic)	2398-7340

Access to Document

10.29007/lsvc

ArticleFinal published version, 674 KBLicence: Unspecified

Cite this

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, M. Althoff, E. Schoitsch, & J. Guiochet (Eds.), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). (EPiC Series in Computing; Vol. 90). EasyChair. https://doi.org/10.29007/lsvc

@inproceedings{307fa669bb62426999bff889de5ff745,

title = "ARCH-COMP22 Category Report: Stochastic Models",

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{\textquoteright}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.",

author = "Alessandro Abate and Henk Blom and Joanna Delicaris and Sofie Haesaert and Arnd Hartmanns and {van Huijgevoort}, Birgit and Abolfazl Lavaei and Hao Ma and Mathis Niehage and Anne Remke and Oliver Sch{\"o}n and Stefan Schupp and Sadegh Soudjani and Lisa Willemsen",

year = "2022",

month = dec,

day = "13",

doi = "10.29007/lsvc",

language = "English",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "113–141",

editor = "Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet",

booktitle = "Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)",

address = "United Kingdom",

}

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, M Althoff, E Schoitsch & J Guiochet (eds), Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). EPiC Series in Computing, vol. 90, EasyChair, pp. 113–141. https://doi.org/10.29007/lsvc

ARCH-COMP22 Category Report: Stochastic Models. / Abate, Alessandro; Blom, Henk; Delicaris, Joanna et al.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). ed. / Goran Frehse; Matthias Althoff; Erwin Schoitsch; Jeremie Guiochet. EasyChair, 2022. p. 113–141 (EPiC Series in Computing; Vol. 90).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - ARCH-COMP22 Category Report: Stochastic Models

AU - Abate, Alessandro

AU - Blom, Henk

AU - Delicaris, Joanna

AU - Haesaert, Sofie

AU - Hartmanns, Arnd

AU - van Huijgevoort, Birgit

AU - Lavaei, Abolfazl

AU - Ma, Hao

AU - Niehage, Mathis

AU - Remke, Anne

AU - Schön, Oliver

AU - Schupp, Stefan

AU - Soudjani, Sadegh

AU - Willemsen, Lisa

PY - 2022/12/13

Y1 - 2022/12/13

N2 - 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.

AB - 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.

U2 - 10.29007/lsvc

DO - 10.29007/lsvc

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 113

EP - 141

BT - Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)

A2 - Frehse, Goran

A2 - Althoff, Matthias

A2 - Schoitsch, Erwin

A2 - Guiochet, Jeremie

PB - EasyChair

ER -

Abate A, Blom H, Delicaris J, Haesaert S, Hartmanns A, van Huijgevoort B et al. ARCH-COMP22 Category Report: Stochastic Models. In Frehse G, Althoff M, Schoitsch E, Guiochet J, editors, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). EasyChair. 2022. p. 113–141. (EPiC Series in Computing). doi: 10.29007/lsvc

ARCH-COMP22 Category Report: Stochastic Models

Abstract

Publication series

Access to Document

Fingerprint

Cite this