- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Delicaris, Joanna (author), Haesaert, Sofie (author), van Huijgevoort, Birgit (author), Lavaei, Abolfazl (author), Remke, Anne (author), Schon, Oliver (author)Abstract<br/>This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year’s edition of the competition. Given that the tools for stochastic...conference paper 2023
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Delicaris, Joanna (author), Haesaert, Sofie (author), Hartmanns, Arnd (author), van Huijgevoort, Birgit (author), Lavaei, Abolfazl (author), Ma, H. (author), Niehage, Mathis (author), Remke, Anne (author)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,...conference paper 2022
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Bouissou, Marc (author), Cauchi, Nathalie (author), Chraibi, Hassane (author), Delicaris, Joanna (author), Haesaert, Sofie (author), Hartmanns, Arnd (author), Ma, H. (author)This report presents the results of a friendly competition for formal verification and<br/>policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop Applied...conference paper 2021
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Delicaris, Joanna (author), Hartmanns, Arnd (author), Khaled, Mahmoud (author), Lavaei, Abolfazl (author), Pilch, Carina (author), Remke, Anne (author)This report presents the results of a friendly competition for formal verification and<br/>policy synthesis of stochastic models. It also introduces new benchmarks within this<br/>category, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop...conference paper 2020
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Degiorgio, Kurt (author), Franzle, Martin (author), Hahn, Ernst Moritz (author), Haesaert, Sofie (author), Ma, H. (author), Oishi, Meeko (author)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 edition of the competition. The friendly competition took place as part of the workshop Applied...conference paper 2019
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Haesaert, Sofie (author), Hartmanns, Arnd (author), Lesser, Kendra (author), Oishi, Meeko (author), Sivaramakrishnan, Vignesh (author), Soudjani, Sadegh (author)This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2018. In this first edition, we present five benchmarks with different levels of complexities...conference paper 2018