Arch-comp19 category report: Stochastic modelling

Alessandro Abate; H.A.P. Blom; Nathalie Cauchi; Kurt  Degiorgio; Martin Franzle; Ernst Moritz Hahn; Sofie Haesaert; H. Ma; Meeko Oishi; More Authors

doi:10.29007/f2vb

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

14 Citations (Scopus)

76 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: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems
Pages	62-102
Number of pages	41
Volume	61
DOIs	https://doi.org/10.29007/f2vb
Publication status	Published - 2019
Event	6th International Workshop on Applied veRification for Continuous and Hybrid Systems - Montreal, Canada Duration: 15 Apr 2019 → 15 Apr 2019 Conference number: 6 https://cps-vo.org/group/ARCH

Publication series

Name	EPiC Series in Computing
Volume	61

Workshop

Workshop	6th International Workshop on Applied veRification for Continuous and Hybrid Systems
Abbreviated title	ARCH 2019
Country/Territory	Canada
City	Montreal
Period	15/04/19 → 15/04/19
Internet address	https://cps-vo.org/group/ARCH

Access to Document

10.29007/f2vb

ARCH-COMP19_Category_Report_Stochastic_ModellingFinal published version, 2.04 MB

Cite this

Abate, A., Blom, H. A. P., Cauchi, N., Degiorgio, K., Franzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M., & More Authors (2019). Arch-comp19 category report: Stochastic modelling. In ARCH19: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems (Vol. 61, pp. 62-102). (EPiC Series in Computing; Vol. 61). https://doi.org/10.29007/f2vb

@inproceedings{16c80bb08ffb49108be243bacfd220a0,

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 H.A.P. Blom and Nathalie Cauchi and Kurt Degiorgio and Martin Franzle and Hahn, \{Ernst Moritz\} and Sofie Haesaert and H. Ma and Meeko Oishi and \{More Authors\}",

year = "2019",

doi = "10.29007/f2vb",

language = "English",

volume = "61",

series = "EPiC Series in Computing",

pages = "62--102",

booktitle = "ARCH19: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems",

note = "6th International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH 2019 ; Conference date: 15-04-2019 Through 15-04-2019",

url = "https://cps-vo.org/group/ARCH",

}

Abate, A, Blom, HAP, Cauchi, N, Degiorgio, K, Franzle, M, Hahn, EM, Haesaert, S, Ma, H, Oishi, M & More Authors 2019, Arch-comp19 category report: Stochastic modelling. in ARCH19: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems. vol. 61, EPiC Series in Computing, vol. 61, pp. 62-102, 6th International Workshop on Applied veRification for Continuous and Hybrid Systems, Montreal, Canada, 15/04/19. https://doi.org/10.29007/f2vb

Arch-comp19 category report: Stochastic modelling. / Abate, Alessandro; Blom, H.A.P.; Cauchi, Nathalie et al.
ARCH19: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems. Vol. 61 2019. p. 62-102 (EPiC Series in Computing; Vol. 61).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Arch-comp19 category report

T2 - 6th International Workshop on Applied veRification for Continuous and Hybrid Systems

AU - Abate, Alessandro

AU - Blom, H.A.P.

AU - Cauchi, Nathalie

AU - Degiorgio, Kurt

AU - Franzle, Martin

AU - Hahn, Ernst Moritz

AU - Haesaert, Sofie

AU - Ma, H.

AU - Oishi, Meeko

AU - More Authors, null

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.

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

U2 - 10.29007/f2vb

DO - 10.29007/f2vb

M3 - Conference contribution

VL - 61

T3 - EPiC Series in Computing

SP - 62

EP - 102

BT - ARCH19: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems

Y2 - 15 April 2019 through 15 April 2019

ER -