Arch-comp19 category report: Stochastic modelling

Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelpeer review

9 Citaten (Scopus)

Samenvatting

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.

Originele taal-2Engels
Pagina's (van-tot)62-102
Aantal pagina's41
TijdschriftEPiC Series in Computing
Volume61
DOI's
StatusGepubliceerd - 2019
Evenement6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 - Montreal, Canada
Duur: 15 apr. 201915 apr. 2019

Vingerafdruk

Duik in de onderzoeksthema's van 'Arch-comp19 category report: Stochastic modelling'. Samen vormen ze een unieke vingerafdruk.

Citeer dit