<div class="csl-bib-body">
<div class="csl-entry">Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S., & Willemsen, L. (2022). ARCH-COMP22 Category Report: Stochastic Models. In G. Frehse, Matthias Althoff, E. Schoitsch, & Jeremie Guiochet (Eds.), <i>Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)</i> (pp. 113–141). EasyChair. https://doi.org/10.29007/lsvc</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/142519
-
dc.description.abstract
This report presents the results of a friendly competition for formal verification and
policy synthesis of stochastic models. It also introduces new benchmarks and their properties
within this category and recommends next steps for this category towards next year’s edition
of the competition. In comparison with tools on non-probabilistic models, the tools for
stochastic models are at the early stages of development that do not allow full competition
on a standard set of benchmarks. We report on an initiative to collect a set of minimal
benchmarks that all such tools can run, thus facilitating the comparison between efficiency
of the implemented techniques. The friendly competition took place as part of the workshop
Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2022.
en
dc.language.iso
en
-
dc.subject
Hybrid Systems
en
dc.subject
Stochastic Hybrid Systems
en
dc.subject
Competition
en
dc.title
ARCH-COMP22 Category Report: Stochastic Models
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
University of Oxford, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
Delft University of Technology, Netherlands (the)
-
dc.contributor.affiliation
University of Münster, Germany
-
dc.contributor.affiliation
Eindhoven University of Technology, Netherlands (the)
-
dc.contributor.affiliation
University of Twente, Netherlands (the)
-
dc.contributor.affiliation
Eindhoven University of Technology, Netherlands (the)
-
dc.contributor.affiliation
Newcastle University, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
Delft University of Technology, Netherlands (the)
-
dc.contributor.affiliation
University of Münster, Germany
-
dc.contributor.affiliation
University of Münster, Germany
-
dc.contributor.affiliation
Newcastle University, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
Newcastle University, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
University of Münster, Germany
-
dc.contributor.editoraffiliation
ENSTA Paris
-
dc.contributor.editoraffiliation
Technical University of Munich, Germany
-
dc.contributor.editoraffiliation
Austrian Institute of Technology, Austria
-
dc.contributor.editoraffiliation
Université Toulouse III - Paul Sabatier, France
-
dc.relation.issn
2398-7340
-
dc.description.startpage
113
-
dc.description.endpage
141
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
-
tuw.container.volume
90
-
tuw.book.ispartofseries
EPiC Series in Computing
-
tuw.relation.publisher
EasyChair
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.id
C6
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.name
Modeling and Simulation
-
tuw.researchTopic.value
40
-
tuw.researchTopic.value
30
-
tuw.researchTopic.value
30
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.29007/lsvc
-
dc.description.numberOfPages
29
-
tuw.author.orcid
0000-0002-5627-9093
-
tuw.author.orcid
0000-0002-5906-9817
-
tuw.author.orcid
0000-0001-9455-4052
-
tuw.author.orcid
0000-0003-3268-8674
-
tuw.author.orcid
0000-0003-1164-0508
-
tuw.author.orcid
0000-0003-4993-3170
-
tuw.author.orcid
0000-0002-6704-8362
-
tuw.author.orcid
0000-0002-5912-4767
-
tuw.author.orcid
0000-0002-0214-6455
-
tuw.author.orcid
0000-0002-2055-7581
-
tuw.author.orcid
0000-0003-1922-6678
-
tuw.author.orcid
0000-0002-0418-9854
-
tuw.editor.orcid
0000-0002-5441-0481
-
tuw.editor.orcid
0000-0003-3733-842X
-
tuw.editor.orcid
0000-0002-0335-5443
-
tuw.editor.orcid
0000-0002-1285-8974
-
tuw.event.name
9th International Workshop on Applied Verification of Continuous and Hybrid Systems
en
tuw.event.startdate
06-09-2022
-
tuw.event.enddate
06-09-2022
-
tuw.event.online
Hybrid
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Munich
-
tuw.event.country
DE
-
tuw.event.institution
Fraunhofer Institute for Cognitive Systems IKS
-
tuw.event.presenter
Soudjani, Sadegh
-
tuw.presentation.online
Online
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openairetype
conference paper
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
crisitem.author.dept
University of Oxford
-
crisitem.author.dept
Delft University of Technology
-
crisitem.author.dept
University of Münster
-
crisitem.author.dept
Eindhoven University of Technology
-
crisitem.author.dept
University of Twente
-
crisitem.author.dept
Eindhoven University of Technology
-
crisitem.author.dept
Newcastle University
-
crisitem.author.dept
Delft University of Technology
-
crisitem.author.dept
University of Münster
-
crisitem.author.dept
University of Münster
-
crisitem.author.dept
Newcastle University
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
