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
