<div class="csl-bib-body">
<div class="csl-entry">Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Soloviev, V., Visconti, E., Waga, M., & Zhenya, Z. (2024). ARCH-COMP 2024 Category Report: Falsification. In <i>ARCH-COMP24: Volume Information : Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems</i> (pp. 122–144). https://doi.org/10.29007/hgfv</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/218640
-
dc.description
11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, Part of 8th IFAC Conference on Analysis and Design of Hybrid Systems, Boulder, Colorado USA, July 03, 2024 --- https://easychair.org/publications/paper/fKVR --- https://cps-vo.org/sites/cps-vo.org/files/2024-03/callForSubmissions_ARCH24.pdf
-
dc.description.abstract
This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.
en
dc.language.iso
en
-
dc.relation.ispartofseries
EPiC Series in Computing
-
dc.subject
benchmarking
en
dc.subject
cyber physical systems
en
dc.subject
evaluation
en
dc.subject
falsification
en
dc.subject
friendly competition
en
dc.title
ARCH-COMP 2024 Category Report: Falsification
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
National Institute of Informatics, Japan
-
dc.contributor.affiliation
Arizona State University, United States of America (the)
-
dc.contributor.affiliation
Åbo Akademi University, Finland
-
dc.description.startpage
122
-
dc.description.endpage
144
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
ARCH-COMP24: Volume Information : Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
-
tuw.container.volume
103
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.29007/hgfv
-
dc.description.numberOfPages
23
-
tuw.author.orcid
0000-0002-5029-5607
-
tuw.author.orcid
0000-0002-4536-0398
-
tuw.author.orcid
0000-0002-6253-4062
-
tuw.author.orcid
0009-0005-7099-149X
-
tuw.author.orcid
0009-0008-9685-0558
-
tuw.author.orcid
0000-0001-9416-6957
-
tuw.author.orcid
0009-0003-0745-7118
-
tuw.author.orcid
0000-0003-3378-7543
-
tuw.author.orcid
0000-0002-6791-2018
-
tuw.author.orcid
0009-0000-7807-5609
-
tuw.author.orcid
0000-0002-1146-4850
-
tuw.author.orcid
0000-0001-5259-7150
-
tuw.event.name
11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
en
tuw.event.startdate
03-07-2024
-
tuw.event.enddate
03-07-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Boulder, CO
-
tuw.event.country
US
-
tuw.event.presenter
Khandait, Tanmay
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
crisitem.author.dept
National Institute of Informatics
-
crisitem.author.dept
Arizona State University, United States of America (the)
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
Åbo Akademi University
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
