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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

52 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
EditorsGoran Frehse, Matthias Althoff
PublisherEasyChair
Pages126-150
Number of pages25
DOIs
Publication statusPublished - 18 Oct 2023
Event10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023 - St. Louis, United States
Duration: 12 Apr 202314 Apr 2023
Conference number: 10

Publication series

NameEPiC Series in Computing
PublisherEasyChair
Volume96

Conference

Conference10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023
Abbreviated titleARCH 2023
Country/TerritoryUnited States
CitySt. Louis
Period12/04/2314/04/23

Cite this