ARCH-COMP 2024 Category Report: Falsification
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.
Authors
- Surdeep Chotaliya
- Claudio Menghi (ORCID: https://orcid.org/0000-0001-5303-8481)
- Paolo Arcaini (ORCID: https://orcid.org/0000-0002-6253-4062)
- Laura Nenzi (ORCID: https://orcid.org/0000-0003-2263-9342)
- Valentin Soloviev (ORCID: https://orcid.org/0009-0000-7807-5609)
- Masaki Waga (ORCID: https://orcid.org/0000-0001-9360-7490)
- Tanmay Khandait (ORCID: https://orcid.org/0000-0002-5029-5607)
- Iván Porres (ORCID: https://orcid.org/0000-0002-6791-2018)
- Ethan Lew (ORCID: https://orcid.org/0000-0002-6509-6846)
- Giulia Pedrielli (ORCID: https://orcid.org/0000-0001-6726-9790)
- Georgios Fainekos (ORCID: https://orcid.org/0000-0002-0456-2129)
- Jarkko Peltomäki (ORCID: https://orcid.org/0000-0003-3164-1559)
- Michele Loreti (ORCID: https://orcid.org/0000-0003-3061-863X)
- Federico Formica (ORCID: https://orcid.org/0000-0002-3033-7371)
- Ennio Visconti (ORCID: https://orcid.org/0000-0002-1146-4850)
- R. L. Ray (ORCID: https://orcid.org/0000-0002-7990-6416)
- Zhenya Zhang (ORCID: https://orcid.org/0000-0002-3854-9846)
- A. Kundu (ORCID: https://orcid.org/0000-0001-9416-6957)
- Abdelrahman Hekal
Publication Details
- Journal
- EPiC series in computing
- Published
- 2024-10-10
- DOI
- https://doi.org/10.29007/hgfv
- Citations
- 7
- Primary Topic
- Adversarial Robustness in Machine Learning
- Type
- article
- Field-Weighted Citation Impact
- 2.08
Funders
- National Science Foundation
- European Commission
- Austrian Science Fund
- Technische Universität Wien
- Universität Salzburg
- Electronic Components and Systems for European Leadership
- Alliance de recherche numérique du Canada
- Defense Advanced Research Projects Agency
- Japan Society for the Promotion of Science
- Division of Civil, Mechanical and Manufacturing Innovation
- Core Research for Evolutional Science and Technology
- Exploratory Research for Advanced Technology
- JST-Mirai Program
- ACT-X