Carina Pilch

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>

Conference paper (1)

1 records found

ARCH-COMP20 Category Report: Stochastic Models

Conference paper (2020) - Alessandro Abate , H.A.P. Blom , Nathalie Cauchi , Joanna Delicaris , Arnd Hartmanns , Mahmoud Khaled , Abolfazl Lavaei , Carina Pilch , Anne Remke ,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 ...