ARCH-COMP21 Category Report: Stochastic Models

Autor: Abate, Alessandro, Blom, Henk, Bouissou, Marc, Cauchi, Nathalie, Chraibi, Hassane, Delicaris, Joanna, Haesaert, Sofie, Hartmanns, Arnd, Khaled, Mahmoud, Lavaei, Abolfazl, Ma, Hao, Mallik, Kaushik, Niehage, Mathis, Remke, Anne, Schupp, Stefan, Shmarov, Fedor, Soudjani, Sadegh, Thorpe, Adam, Turcuman, Vlad, Zuliani, Paolo, Frehse, Goran, Althoff, Matthias

Publikováno v: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021, 55-89
STARTPAGE=55;ENDPAGE=89;TITLE=8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021

This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s ed

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d430991154680bc488cee9fe14e0bddf
https://doi.org/10.29007/dprv