Download PDFOpen PDF in browserARCH-COMP19 Category Report: Stochastic Modelling41 pages•Published: May 25, 2019Alessandro 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 andAbraham Vinod AbstractThis 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 andMatthias 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}} |