ARCH-COMP21 Category Report: Stochastic Models

Alessandro Abate; Henk Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; Mathis Niehage; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; Adam Thorpe; Vlad Turcuman; Paolo Zuliani

doi:10.29007/dprv

Control Systems

Research output: Contribution to journal › Conference article › peer-review

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/Summer 2021.

Original language	English
Pages (from-to)	55-89
Number of pages	35
Journal	EPiC Series in Computing
Volume	80
DOIs	https://doi.org/10.29007/dprv
Publication status	Published - 2021
Event	8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021 - Virtual, Online Duration: 9 Jul 2021 → 9 Jul 2021

Bibliographical note

Publisher Copyright:
© 2021, EasyChair. All rights reserved.

Access to Document

10.29007/dprv

Cite this

Abate, A., Blom, H., Bouissou, M., Cauchi, N., Chraibi, H., Delicaris, J., Haesaert, S., Hartmanns, A., Khaled, M., Lavaei, A., Ma, H., Mallik, K., Niehage, M., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Thorpe, A., Turcuman, V., & Zuliani, P. (2021). ARCH-COMP21 Category Report: Stochastic Models. EPiC Series in Computing, 80, 55-89. https://doi.org/10.29007/dprv

@article{891046c8db1d4b88a3a094cff80b0d94,

title = "ARCH-COMP21 Category Report: Stochastic Models",

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{\textquoteright}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/Summer 2021.",

author = "Alessandro Abate and Henk Blom and Marc Bouissou and Nathalie Cauchi and Hassane Chraibi and Joanna Delicaris and Sofie Haesaert and Arnd Hartmanns and Mahmoud Khaled and Abolfazl Lavaei and Hao Ma and Kaushik Mallik and Mathis Niehage and Anne Remke and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Adam Thorpe and Vlad Turcuman and Paolo Zuliani",

note = "Publisher Copyright: {\textcopyright} 2021, EasyChair. All rights reserved.; 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021 ; Conference date: 09-07-2021 Through 09-07-2021",

year = "2021",

doi = "10.29007/dprv",

language = "English",

volume = "80",

pages = "55--89",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

}

TY - JOUR

T1 - ARCH-COMP21 Category Report

T2 - 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021

AU - Abate, Alessandro

AU - Blom, Henk

AU - Bouissou, Marc

AU - Cauchi, Nathalie

AU - Chraibi, Hassane

AU - Delicaris, Joanna

AU - Haesaert, Sofie

AU - Hartmanns, Arnd

AU - Khaled, Mahmoud

AU - Lavaei, Abolfazl

AU - Ma, Hao

AU - Mallik, Kaushik

AU - Niehage, Mathis

AU - Remke, Anne

AU - Schupp, Stefan

AU - Shmarov, Fedor

AU - Soudjani, Sadegh

AU - Thorpe, Adam

AU - Turcuman, Vlad

AU - Zuliani, Paolo

PY - 2021

Y1 - 2021

N2 - 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/Summer 2021.

AB - 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/Summer 2021.

UR - https://www.scopus.com/pages/publications/85124332260

U2 - 10.29007/dprv

DO - 10.29007/dprv

M3 - Conference article

AN - SCOPUS:85124332260

SN - 2398-7340

VL - 80

SP - 55

EP - 89

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 9 July 2021 through 9 July 2021

ER -

ARCH-COMP21 Category Report: Stochastic Models

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this