Record link: 
http://hdl.handle.net/20.500.12708/218640
-
Title: 
ARCH-COMP 2024 Category Report: Falsification
en
Citation: 
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 ARCH-COMP24: Volume Information : Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (pp. 122–144). https://doi.org/10.29007/hgfv
-
Publisher DOI: 
10.29007/hgfv
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Khandait, Tanmay 
Formica, Federico 
Arcaini, Paolo 
Chotaliya, Surdeep 
Fainekos, Georgios 
Hekal, Abdelrahman 
Kundu, Atanu 
Lew, Ethan 
Loreti, Michele 
Menghi, Claudio 
Nenzi, Laura 
Pedrielli, Giulia 
Peltomäki, Jarkko 
Porres, Ivan 
Ray, Rajarshi 
Soloviev, Valentin 
Visconti, Ennio 
Waga, Masaki 
Zhenya, Zhang 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Published in: 
ARCH-COMP24: Volume Information : Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 
-
Volume: 
103
-
Date (published): 
2024
-
Event name: 
11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 
en
Event date: 
3-Jul-2024
-
Event place: 
Boulder, CO, United States of America (the)
-
Number of Pages: 
23
-
Peer reviewed: 
Yes
-
Keywords: 
benchmarking; cyber physical systems; evaluation; falsification; friendly competition
en
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
Additional information: 
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
-
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

112
checked on Aug 28, 2025

Google ScholarTM

Check