Download PDFOpen PDF in browser

ARCH-COMP19 Category Report: Stochastic Modelling

41 pagesPublished: May 25, 2019

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.

In: Goran Frehse and Matthias Althoff (editors). ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 61, pages 62-102.

BibTeX entry
@inproceedings{ARCH19:ARCH_COMP19_Category_Report,
  author    = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Kurt Degiorgio and Martin Fränzle and Ernst Moritz Hahn and Sofie Haesaert and Hao Ma and Meeko Oishi and Carina Pilch and Anne Remke and Mahmoud Salamati and Sadegh Soudjani and Birgit van Huijgevoort and Abraham Vinod},
  title     = {ARCH-COMP19 Category Report: Stochastic Modelling},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/S95M},
  doi       = {10.29007/f2vb},
  pages     = {62-102},
  year      = {2019}}
Download PDFOpen PDF in browser