KD
Kurt Degiorgio
info
Please Note
<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>
1 records found
1
Arch-comp19 category report
Stochastic modelling
Conference paper
(2019)
-
Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Franzle, Ernst Moritz Hahn, Sofie Haesaert, H. Ma, Meeko Oishi, More authors...
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 2019.
...
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 2019.