Arch-Comp20 Category Report
Jan 1, 2020·,,,,,,,,
,·
0 min read
Alessandro Abate
Henk Blom
Nathalie Cauchi
Joanna Delicaris
Arnd Hartmanns
Mahmoud Khaled
Abolfazl Lavaei
Carina Pilch
Anne Remke
Stefan Schupp
Others
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.
Type
