ARCH-COMP19 Category Report: Stochastic Modelling

41 pages•Published: May 25, 2019

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 and Abraham Vinod

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.

Links:	https://easychair.org/publications/paper/S95M
	https://doi.org/10.29007/f2vb

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 PDF Open PDF in browser