ARCH-COMP23 Category Report: Stochastic Models

Alessandro Abate; Henk Blom; Nathalie Cauchi; Joanna Delicaris; Sofie Haesaert; Birgit van Huijgevoort; Abolfazl Lavaei; Anne Remke; Oliver Schön; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; Lisa Willemsen; Paolo Zuliani

doi:10.29007/k7s6

Mathematics of Operations Research

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

214 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Editors	Goran Frehse, Matthias Althoff
Publisher	EasyChair
Pages	126-150
Number of pages	25
DOIs	https://doi.org/10.29007/k7s6
Publication status	Published - 18 Oct 2023
Event	10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023 - St. Louis, United States Duration: 12 Apr 2023 → 14 Apr 2023 Conference number: 10

Publication series

Name	EPiC Series in Computing
Publisher	EasyChair
Volume	96

Conference

Conference	10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023
Abbreviated title	ARCH 2023
Country/Territory	United States
City	St. Louis
Period	12/04/23 → 14/04/23

Access to Document

10.29007/k7s6

ARCH-COMP23_Category_Report_Stochastic_ModelsFinal published version, 701 KB

https://easychair.org/publications/paper/xZ8M

Cite this

Abate, A., Blom, H., Cauchi, N., Delicaris, J., Haesaert, S., Huijgevoort, B. V., Lavaei, A., Remke, A., Schön, O., Schupp, S., Shmarov, F., Soudjani, S., Willemsen, L., & Zuliani, P. (2023). ARCH-COMP23 Category Report: Stochastic Models. In G. Frehse, & M. Althoff (Eds.), Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (pp. 126-150). (EPiC Series in Computing; Vol. 96). EasyChair. https://doi.org/10.29007/k7s6

@inproceedings{bd1542acbb1240c09fab0e07dee3d462,

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

author = "Alessandro Abate and Henk Blom and Nathalie Cauchi and Joanna Delicaris and Sofie Haesaert and Huijgevoort, \{Birgit van\} and Abolfazl Lavaei and Anne Remke and Oliver Sch{\"o}n and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Lisa Willemsen and Paolo Zuliani",

year = "2023",

month = oct,

day = "18",

doi = "10.29007/k7s6",

language = "English",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "126--150",

editor = "Goran Frehse and Matthias Althoff",

booktitle = "Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)",

address = "United Kingdom",

note = "10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023, ARCH 2023 ; Conference date: 12-04-2023 Through 14-04-2023",

}

Abate, A, Blom, H, Cauchi, N, Delicaris, J, Haesaert, S, Huijgevoort, BV, Lavaei, A, Remke, A, Schön, O, Schupp, S, Shmarov, F, Soudjani, S, Willemsen, L & Zuliani, P 2023, ARCH-COMP23 Category Report: Stochastic Models. in G Frehse & M Althoff (eds), Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EPiC Series in Computing, vol. 96, EasyChair, pp. 126-150, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023, St. Louis, Missouri, United States, 12/04/23. https://doi.org/10.29007/k7s6

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

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

TY - GEN

T1 - ARCH-COMP23 Category Report: Stochastic Models

AU - Abate, Alessandro

AU - Blom, Henk

AU - Cauchi, Nathalie

AU - Delicaris, Joanna

AU - Haesaert, Sofie

AU - Huijgevoort, Birgit van

AU - Lavaei, Abolfazl

AU - Remke, Anne

AU - Schön, Oliver

AU - Schupp, Stefan

AU - Shmarov, Fedor

AU - Soudjani, Sadegh

AU - Willemsen, Lisa

AU - Zuliani, Paolo

N1 - Conference code: 10

PY - 2023/10/18

Y1 - 2023/10/18

U2 - 10.29007/k7s6

DO - 10.29007/k7s6

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 126

EP - 150

BT - Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)

A2 - Frehse, Goran

A2 - Althoff, Matthias

PB - EasyChair

T2 - 10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023

Y2 - 12 April 2023 through 14 April 2023

ER -