{"year":"2022","_id":"34532","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2398-7340"]},"author":[{"last_name":"Abate","full_name":"Abate, Alessandro","first_name":"Alessandro"},{"full_name":"Blom, Henk","last_name":"Blom","first_name":"Henk"},{"last_name":"Delicaris","full_name":"Delicaris, Joanna","first_name":"Joanna"},{"full_name":"Haesaert, Sofie","last_name":"Haesaert","first_name":"Sofie"},{"last_name":"Hartmanns","full_name":"Hartmanns, Arnd","first_name":"Arnd"},{"full_name":"van Huijgevoort, Birgit","last_name":"van Huijgevoort","first_name":"Birgit"},{"last_name":"Lavaei","full_name":"Lavaei, Abolfazl","first_name":"Abolfazl"},{"first_name":"Hao","full_name":"Ma, Hao","last_name":"Ma"},{"full_name":"Niehage, Mathis","last_name":"Niehage","first_name":"Mathis"},{"full_name":"Remke, Anne","last_name":"Remke","first_name":"Anne"},{"first_name":"Oliver","last_name":"Schön","full_name":"Schön, Oliver"},{"full_name":"Schupp, Stefan","last_name":"Schupp","first_name":"Stefan"},{"first_name":"Sadegh","full_name":"Soudjani, Sadegh","last_name":"Soudjani"},{"full_name":"Willemsen, Lisa","last_name":"Willemsen","first_name":"Lisa"}],"status":"public","date_updated":"2022-12-18T10:56:21Z","publication_status":"published","date_created":"2022-12-18T10:56:01Z","title":"ARCH-COMP22 Category Report: Stochastic Models","publication":"EPiC Series in Computing","type":"conference","user_id":"55553","citation":{"ama":"Abate A, Blom H, Delicaris J, et al. ARCH-COMP22 Category Report: Stochastic Models. In: <i>EPiC Series in Computing</i>. EasyChair; 2022. doi:<a href=\"https://doi.org/10.29007/lsvc\">10.29007/lsvc</a>","chicago":"Abate, Alessandro, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, et al. “ARCH-COMP22 Category Report: Stochastic Models.” In <i>EPiC Series in Computing</i>. EasyChair, 2022. <a href=\"https://doi.org/10.29007/lsvc\">https://doi.org/10.29007/lsvc</a>.","bibtex":"@inproceedings{Abate_Blom_Delicaris_Haesaert_Hartmanns_van Huijgevoort_Lavaei_Ma_Niehage_Remke_et al._2022, title={ARCH-COMP22 Category Report: Stochastic Models}, DOI={<a href=\"https://doi.org/10.29007/lsvc\">10.29007/lsvc</a>}, 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} }","short":"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.","apa":"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., &#38; Willemsen, L. (2022). ARCH-COMP22 Category Report: Stochastic Models. <i>EPiC Series in Computing</i>. <a href=\"https://doi.org/10.29007/lsvc\">https://doi.org/10.29007/lsvc</a>","ieee":"A. Abate <i>et al.</i>, “ARCH-COMP22 Category Report: Stochastic Models,” 2022, doi: <a href=\"https://doi.org/10.29007/lsvc\">10.29007/lsvc</a>.","mla":"Abate, Alessandro, et al. “ARCH-COMP22 Category Report: Stochastic Models.” <i>EPiC Series in Computing</i>, EasyChair, 2022, doi:<a href=\"https://doi.org/10.29007/lsvc\">10.29007/lsvc</a>."},"publisher":"EasyChair","department":[{"_id":"675"}],"abstract":[{"text":"<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>","lang":"eng"}],"doi":"10.29007/lsvc"}