ARCH-COMP18 Category Report: Stochastic Modelling

Alessandro Abate; Henk Blom; Nathalie Cauchi; Sofie Haesaert; Arnd Hartmanns; Kendra Lesser; Meeko Oishi; Vignesh Sivaramakrishnan; Sadegh Soudjani; null More Authors

doi:10.29007/7ks7

ARCH-COMP18 Category Report: Stochastic Modelling

Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, More Authors

Air Transport & Operations

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

73 Downloads (Pure)

Abstract

This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2018. In this first edition, we present five benchmarks with different levels of complexities and stochastic favours. We make use of six different tools and frameworks (in alphabetical order): Barrier Certificates, FAUST2, FIRM-GDTL, Modest, SDCPN modelling & MC simulation and SReachTools; and attempt to solve instances of the five different benchmark problems. Through these benchmarks, we capture a snapshot on the current state-of the art tools and frameworks within the stochastic modelling domain. We also present the challenges encountered within this domain and highlight future plans which will push forward the development of more tools and methodologies for performing formal verification and optimal policy synthesis of stochastic processes.

Original language	English
Title of host publication	EPiC Series in Computing
Pages	71-103
Volume	54
DOIs	https://doi.org/10.29007/7ks7
Publication status	Published - 2018
Event	ARCH18: 5th International Workshop on Applied Verification of Continuous and Hybrid Systems - Oxford, United Kingdom Duration: 13 Jul 2018 → 13 Jul 2018 Conference number: 5 http://cps-vo.org/group/ARCH

Workshop

Workshop	ARCH18: 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated title	ARCH18
Country/Territory	United Kingdom
City	Oxford
Period	13/07/18 → 13/07/18
Internet address	http://cps-vo.org/group/ARCH

Access to Document

10.29007/7ks7

DzD8Final published version, 5.48 MB

Cite this

@inproceedings{c77942127bf24682aab427eb00d66077,

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

abstract = "This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2018. In this first edition, we present five benchmarks with different levels of complexities and stochastic favours. We make use of six different tools and frameworks (in alphabetical order): Barrier Certificates, FAUST2, FIRM-GDTL, Modest, SDCPN modelling & MC simulation and SReachTools; and attempt to solve instances of the five different benchmark problems. Through these benchmarks, we capture a snapshot on the current state-of the art tools and frameworks within the stochastic modelling domain. We also present the challenges encountered within this domain and highlight future plans which will push forward the development of more tools and methodologies for performing formal verification and optimal policy synthesis of stochastic processes. ",

author = "Alessandro Abate and Henk Blom and Nathalie Cauchi and Sofie Haesaert and Arnd Hartmanns and Kendra Lesser and Meeko Oishi and Vignesh Sivaramakrishnan and Sadegh Soudjani and {More Authors}",

year = "2018",

doi = "10.29007/7ks7",

language = "English",

volume = "54",

pages = "71--103",

booktitle = "EPiC Series in Computing",

note = "ARCH18: 5th International Workshop on Applied<br/>Verification of Continuous and Hybrid Systems, ARCH18 ; Conference date: 13-07-2018 Through 13-07-2018",

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

}

Abate, A, Blom, H, Cauchi, N, Haesaert, S, Hartmanns, A, Lesser, K, Oishi, M, Sivaramakrishnan, V, Soudjani, S & More Authors 2018, ARCH-COMP18 Category Report: Stochastic Modelling. in EPiC Series in Computing. vol. 54, pp. 71-103, ARCH18: 5th International Workshop on Applied
Verification of Continuous and Hybrid Systems, Oxford, United Kingdom, 13/07/18. https://doi.org/10.29007/7ks7

TY - GEN

T1 - ARCH-COMP18 Category Report

T2 - ARCH18: 5th International Workshop on Applied<br/>Verification of Continuous and Hybrid Systems

AU - Abate, Alessandro

AU - Blom, Henk

AU - Cauchi, Nathalie

AU - Haesaert, Sofie

AU - Hartmanns, Arnd

AU - Lesser, Kendra

AU - Oishi, Meeko

AU - Sivaramakrishnan, Vignesh

AU - Soudjani, Sadegh

AU - More Authors, null

N1 - Conference code: 5

PY - 2018

Y1 - 2018

N2 - This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2018. In this first edition, we present five benchmarks with different levels of complexities and stochastic favours. We make use of six different tools and frameworks (in alphabetical order): Barrier Certificates, FAUST2, FIRM-GDTL, Modest, SDCPN modelling & MC simulation and SReachTools; and attempt to solve instances of the five different benchmark problems. Through these benchmarks, we capture a snapshot on the current state-of the art tools and frameworks within the stochastic modelling domain. We also present the challenges encountered within this domain and highlight future plans which will push forward the development of more tools and methodologies for performing formal verification and optimal policy synthesis of stochastic processes.

AB - This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2018. In this first edition, we present five benchmarks with different levels of complexities and stochastic favours. We make use of six different tools and frameworks (in alphabetical order): Barrier Certificates, FAUST2, FIRM-GDTL, Modest, SDCPN modelling & MC simulation and SReachTools; and attempt to solve instances of the five different benchmark problems. Through these benchmarks, we capture a snapshot on the current state-of the art tools and frameworks within the stochastic modelling domain. We also present the challenges encountered within this domain and highlight future plans which will push forward the development of more tools and methodologies for performing formal verification and optimal policy synthesis of stochastic processes.

U2 - 10.29007/7ks7

DO - 10.29007/7ks7

M3 - Conference contribution

VL - 54

SP - 71

EP - 103

BT - EPiC Series in Computing

Y2 - 13 July 2018 through 13 July 2018

ER -

ARCH-COMP18 Category Report: Stochastic Modelling

Abstract

Workshop

Access to Document

Fingerprint

Cite this