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: Contribution to journal › Conference article › peer-review

11 Citations (Scopus)

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
Pages (from-to)	62-102
Number of pages	41
Journal	EPiC Series in Computing
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, ARCH 2019 - Montreal, Canada Duration: 15 Apr 2019 → 15 Apr 2019

Access to Document

10.29007/f2vb

Cite this

@article{3c440886283b44fc9e98fdcdd11c0820,

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

volume = "61",

pages = "62--102",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

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

}

TY - JOUR

T1 - Arch-comp19 category report

T2 - 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019

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.

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 - http://www.scopus.com/inward/record.url?scp=85080096214&partnerID=8YFLogxK

U2 - 10.29007/f2vb

DO - 10.29007/f2vb

M3 - Conference article

AN - SCOPUS:85080096214

SN - 2398-7340

VL - 61

SP - 62

EP - 102

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 15 April 2019 through 15 April 2019

ER -

Arch-comp19 category report: Stochastic modelling

Abstract

Access to Document

Other files and links

Fingerprint

Cite this