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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
3 Downloads (Pure)

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 2019.
Original languageEnglish
Title of host publicationARCH19
Subtitle of host publication6th International Workshop on Applied Verification of Continuous and Hybrid Systems
EditorsGoran Frehse, Matthias Althoff
PublisherEasyChair
Pages62-102
DOIs
Publication statusPublished - 2019
Externally publishedYes
Event6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019
- Montréal, Canada
Duration: 15 Apr 201915 Apr 2019
Conference number: 6

Publication series

NameEPiC Series in Computing
PublisherEasyChair
Volume61
ISSN (Print)2398-7340

Workshop

Workshop6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019
Abbreviated titleARCH19
CountryCanada
CityMontréal
Period15/04/1915/04/19

Fingerprint Dive into the research topics of 'ARCH-COMP19 Category Report: Stochastic Modelling'. Together they form a unique fingerprint.

Cite this