Arch-comp19 category report: Stochastic modelling

Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Franzle, Ernst Moritz Hahn, Sofie Haesaert, H. Ma, Meeko Oishi, More Authors

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)
11 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: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems
Pages62-102
Number of pages41
Volume61
DOIs
Publication statusPublished - 2019
Event6th International Workshop on Applied veRification for Continuous and Hybrid Systems - Montreal, Canada
Duration: 15 Apr 201915 Apr 2019
Conference number: 6
https://cps-vo.org/group/ARCH

Publication series

NameEPiC Series in Computing
Volume61

Workshop

Workshop6th International Workshop on Applied veRification for Continuous and Hybrid Systems
Abbreviated titleARCH 2019
CountryCanada
CityMontreal
Period15/04/1915/04/19
Internet address

Fingerprint

Dive into the research topics of 'Arch-comp19 category report: Stochastic modelling'. Together they form a unique fingerprint.

Cite this