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
