ARCH-COMP23 Category Report: Stochastic Models

Alessandro Abate; H.A.P. Blom; Nathalie Cauchi; Joanna Delicaris; Sofie  Haesaert; Birgit  van Huijgevoort; Abolfazl Lavaei; Anne Remke; Oliver  Schon; null More Authors

ARCH-COMP23 Category Report: Stochastic Models

Alessandro Abate, H.A.P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schon, More Authors

Air Transport & Operations

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

37 Downloads (Pure)

Abstract

Abstract
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year’s edition of the competition. Given that the tools for stochastic models are at their early stages of development compared to those of non-probabilistic models, the main focus is to report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between the efficiency of the implemented techniques. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2023.

Original language	English
Title of host publication	10th International Workshop on Applied Verication of Continuous and Hybrid Systems
Editors	Goran Frehse , Matthias Althoff
Pages	127-150
Publication status	Published - 2023
Event	10th Int. Workshop on Applied Verification for Continuous and Hybrid Systems - , Netherlands Duration: 18 Oct 2023 → 18 Oct 2023 Conference number: 10

Publication series

Name	EPiC Series in Computing
Volume	96
ISSN (Electronic)	2398-7340

Workshop

Workshop	10th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Abbreviated title	ARCH23
Country/Territory	Netherlands
Period	18/10/23 → 18/10/23

Access to Document

ARCH-COMP23_Category_Report_Stochastic_ModelsFinal published version, 716 KB

Cite this

@inproceedings{9376a51cd62d4ace9e6036798586a0ca,

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

abstract = "AbstractThis report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year{\textquoteright}s edition of the competition. Given that the tools for stochastic models are at their early stages of development compared to those of non-probabilistic models, the main focus is to report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between the efficiency of the implemented techniques. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2023.",

author = "Alessandro Abate and H.A.P. Blom and Nathalie Cauchi and Joanna Delicaris and Sofie Haesaert and {van Huijgevoort}, Birgit and Abolfazl Lavaei and Anne Remke and Oliver Schon and {More Authors}",

year = "2023",

language = "English",

series = "EPiC Series in Computing",

pages = "127--150",

editor = "{Frehse }, {Goran } and Althoff, {Matthias }",

booktitle = "10th International Workshop on Applied Verication of Continuous and Hybrid Systems",

note = "10th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, ARCH23 ; Conference date: 18-10-2023 Through 18-10-2023",

}

Abate, A, Blom, HAP, Cauchi, N, Delicaris, J, Haesaert, S, van Huijgevoort, B, Lavaei, A, Remke, A, Schon, O & More Authors 2023, ARCH-COMP23 Category Report: Stochastic Models. in G Frehse & M Althoff (eds), 10th International Workshop on Applied Verication of Continuous and Hybrid Systems. EPiC Series in Computing, vol. 96, pp. 127-150, 10th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, Netherlands, 18/10/23.

ARCH-COMP23 Category Report: Stochastic Models. / Abate, Alessandro; Blom, H.A.P.; Cauchi, Nathalie et al.
10th International Workshop on Applied Verication of Continuous and Hybrid Systems. ed. / Goran Frehse ; Matthias Althoff. 2023. p. 127-150 (EPiC Series in Computing; Vol. 96).

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

TY - GEN

T1 - ARCH-COMP23 Category Report: Stochastic Models

AU - Abate, Alessandro

AU - Blom, H.A.P.

AU - Cauchi, Nathalie

AU - Delicaris, Joanna

AU - Haesaert, Sofie

AU - van Huijgevoort, Birgit

AU - Lavaei, Abolfazl

AU - Remke, Anne

AU - Schon, Oliver

AU - More Authors, null

N1 - Conference code: 10

PY - 2023

Y1 - 2023

N2 - AbstractThis report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year’s edition of the competition. Given that the tools for stochastic models are at their early stages of development compared to those of non-probabilistic models, the main focus is to report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between the efficiency of the implemented techniques. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2023.

AB - AbstractThis report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year’s edition of the competition. Given that the tools for stochastic models are at their early stages of development compared to those of non-probabilistic models, the main focus is to report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between the efficiency of the implemented techniques. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2023.

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 127

EP - 150

BT - 10th International Workshop on Applied Verication of Continuous and Hybrid Systems

A2 - Frehse , Goran

A2 - Althoff, Matthias

T2 - 10th Int. Workshop on Applied Verification for Continuous and Hybrid Systems

Y2 - 18 October 2023 through 18 October 2023

ER -

ARCH-COMP23 Category Report: Stochastic Models

Abstract

Publication series

Workshop

Access to Document

Fingerprint

Cite this