ARCH-COMP19 Category Report: Stochastic Modelling

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; Abraham P. Vinod

doi:10.29007/f2vb

ARCH-COMP19 Category Report: Stochastic Modelling

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, Abraham P. Vinod

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

7 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 language	English
Title of host publication	ARCH19
Subtitle of host publication	6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Editors	Goran Frehse, Matthias Althoff
Publisher	EasyChair
Pages	62-102
DOIs	https://doi.org/10.29007/f2vb
Publication status	Published - 2019
Externally published	Yes
Event	6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019 - Montréal, Canada Duration: 15 Apr 2019 → 15 Apr 2019 Conference number: 6

Publication series

Name	EPiC Series in Computing
Publisher	EasyChair
Volume	61
ISSN (Print)	2398-7340

Workshop

Workshop	6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019
Abbreviated title	ARCH19
Country/Territory	Canada
City	Montréal
Period	15/04/19 → 15/04/19

Access to Document

10.29007/f2vb

Abate2019arch-compFinal published version, 2.05 MB

Cite this

Abate, A., Blom, H., Cauchi, N., Degiorgio, K., Fränzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M., Pilch, C., Remke, A., Salamati, M., Soudjani, S., van Huijgevoort, B., & Vinod, A. P. (2019). ARCH-COMP19 Category Report: Stochastic Modelling. In G. Frehse, & M. Althoff (Eds.), ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (pp. 62-102). (EPiC Series in Computing; Vol. 61). EasyChair. https://doi.org/10.29007/f2vb

Abate, Alessandro ; Blom, Henk ; Cauchi, Nathalie ; Degiorgio, Kurt ; Fränzle, Martin ; Hahn, Ernst Moritz ; Haesaert, Sofie ; Ma, Hao ; Oishi, Meeko ; Pilch, Carina ; Remke, Anne ; Salamati, Mahmoud ; Soudjani, Sadegh ; van Huijgevoort, Birgit ; Vinod, Abraham P. / ARCH-COMP19 Category Report : Stochastic Modelling. ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. editor / Goran Frehse ; Matthias Althoff. EasyChair, 2019. pp. 62-102 (EPiC Series in Computing).

@inproceedings{c9cc3b3f69b242f9aa1ede5fc9cacfea,

title = "ARCH-COMP19 Category Report: Stochastic Modelling",

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 2019.",

author = "Alessandro Abate and Henk Blom and Nathalie Cauchi and Kurt Degiorgio and Martin Fr{\"a}nzle and Hahn, {Ernst Moritz} and Sofie Haesaert and Hao Ma and Meeko Oishi and Carina Pilch and Anne Remke and Mahmoud Salamati and Sadegh Soudjani and {van Huijgevoort}, Birgit and Vinod, {Abraham P.}",

year = "2019",

doi = "10.29007/f2vb",

language = "English",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "62--102",

editor = "Goran Frehse and Matthias Althoff",

booktitle = "ARCH19",

address = "United Kingdom",

note = "6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019<br/>, ARCH19 ; Conference date: 15-04-2019 Through 15-04-2019",

}

Abate, A, Blom, H, Cauchi, N, Degiorgio, K, Fränzle, M, Hahn, EM, Haesaert, S, Ma, H, Oishi, M, Pilch, C, Remke, A, Salamati, M, Soudjani, S, van Huijgevoort, B & Vinod, AP 2019, ARCH-COMP19 Category Report: Stochastic Modelling. in G Frehse & M Althoff (eds), ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. EPiC Series in Computing, vol. 61, EasyChair, pp. 62-102, 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019
, Montréal, Quebec, Canada, 15/04/19. https://doi.org/10.29007/f2vb

ARCH-COMP19 Category Report : Stochastic Modelling. / Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Degiorgio, Kurt; Fränzle, Martin; Hahn, Ernst Moritz ; Haesaert, Sofie; Ma, Hao; Oishi, Meeko; Pilch, Carina; Remke, Anne; Salamati, Mahmoud; Soudjani, Sadegh; van Huijgevoort, Birgit; Vinod, Abraham P.

ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. ed. / Goran Frehse; Matthias Althoff. EasyChair, 2019. p. 62-102 (EPiC Series in Computing; Vol. 61).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - ARCH-COMP19 Category Report

T2 - 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2019<br/>

AU - Abate, Alessandro

AU - Blom, Henk

AU - Cauchi, Nathalie

AU - Degiorgio, Kurt

AU - Fränzle, Martin

AU - Hahn, Ernst Moritz

AU - Haesaert, Sofie

AU - Ma, Hao

AU - Oishi, Meeko

AU - Pilch, Carina

AU - Remke, Anne

AU - Salamati, Mahmoud

AU - Soudjani, Sadegh

AU - van Huijgevoort, Birgit

AU - Vinod, Abraham P.

N1 - Conference code: 6

PY - 2019

Y1 - 2019

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 2019.

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 2019.

U2 - 10.29007/f2vb

DO - 10.29007/f2vb

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 62

EP - 102

BT - ARCH19

A2 - Frehse, Goran

A2 - Althoff, Matthias

PB - EasyChair

Y2 - 15 April 2019 through 15 April 2019

ER -

ARCH-COMP19 Category Report: Stochastic Modelling

Abstract

Publication series

Workshop

Access to Document

Fingerprint

Cite this