Author:
Abate Alessandro,Blom Henk,Cauchi Nathalie,Delicaris Joanna,Hartmanns Arnd,Khaled Mahmoud,Lavaei Abolfazl,Pilch Carina,Remke Anne,Schupp Stefan,Shmarov Fedor,Soudjani Sadegh,Vinod Abraham,Wooding Ben,Zamani Majid,Zuliani Paolo
Abstract
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 Verification for Continuous and Hybrid Systems (ARCH) in Spring/Summer 2020.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献