The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems

Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani

doi:10.1007/978-3-031-67695-6_1

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems

Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani

Informatics 6 - Associate Professorship of Cyber Physical Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

The workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) is an annual venue for researchers and practitioners working on automated analysis and verification of hybrid systems. ARCH-COMP is a friendly competition held with the ARCH event. The competition was established in 2017 and aims to explore, document, and push forward the state of the art in the field. It evaluates and compares methods and tools for automated hybrid systems analysis and verification on predefined benchmark problems. It is supported by an active community around several categories of problems, including linear and nonlinear systems, simulation-based and analytic methods, and models from many application domains, such as automotive systems or neural networks. This paper describes the format of the competition and its organization. It documents the experiences and decisions from the current and past editions of the competition and presents reflections and lessons learned. Website:https://cps-vo.org/group/ARCH/FriendlyCompetition

Original language	English
Title of host publication	TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions
Editors	Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	1-37
Number of pages	37
ISBN (Print)	9783031676949
DOIs	https://doi.org/10.1007/978-3-031-67695-6_1
State	Published - 2025
Event	3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France Duration: 22 Apr 2023 → 27 Apr 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14550 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Country/Territory	France
City	Paris
Period	22/04/23 → 27/04/23

Keywords

competition
hybrid systems
tool evaluation

Access to Document

10.1007/978-3-031-67695-6_1

Cite this

Abate, A., Althoff, M., Bu, L., Ernst, G., Frehse, G., Geretti, L., Johnson, T. T., Menghi, C., Mitsch, S., Schupp, S., & Soudjani, S. (2025). The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. In D. Beyer, A. Hartmanns, & F. Kordon (Eds.), TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions (pp. 1-37). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14550 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-67695-6_1

Abate, Alessandro ; Althoff, Matthias ; Bu, Lei et al. / The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. editor / Dirk Beyer ; Arnd Hartmanns ; Fabrice Kordon. Springer Science and Business Media Deutschland GmbH, 2025. pp. 1-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{06f9802e77f14e83ab8edbb59c817ecf,

title = "The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems",

abstract = "The workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) is an annual venue for researchers and practitioners working on automated analysis and verification of hybrid systems. ARCH-COMP is a friendly competition held with the ARCH event. The competition was established in 2017 and aims to explore, document, and push forward the state of the art in the field. It evaluates and compares methods and tools for automated hybrid systems analysis and verification on predefined benchmark problems. It is supported by an active community around several categories of problems, including linear and nonlinear systems, simulation-based and analytic methods, and models from many application domains, such as automotive systems or neural networks. This paper describes the format of the competition and its organization. It documents the experiences and decisions from the current and past editions of the competition and presents reflections and lessons learned. Website:https://cps-vo.org/group/ARCH/FriendlyCompetition",

keywords = "competition, hybrid systems, tool evaluation",

author = "Alessandro Abate and Matthias Althoff and Lei Bu and Gidon Ernst and Goran Frehse and Luca Geretti and Johnson, {Taylor T.} and Claudio Menghi and Stefan Mitsch and Stefan Schupp and Sadegh Soudjani",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2025",

doi = "10.1007/978-3-031-67695-6_1",

language = "English",

isbn = "9783031676949",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "1--37",

editor = "Dirk Beyer and Arnd Hartmanns and Fabrice Kordon",

booktitle = "TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions",

}

Abate, A, Althoff, M, Bu, L, Ernst, G, Frehse, G, Geretti, L, Johnson, TT, Menghi, C, Mitsch, S, Schupp, S & Soudjani, S 2025, The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. in D Beyer, A Hartmanns & F Kordon (eds), TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14550 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 1-37, 3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-67695-6_1

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. / Abate, Alessandro; Althoff, Matthias; Bu, Lei et al.
TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. ed. / Dirk Beyer; Arnd Hartmanns; Fabrice Kordon. Springer Science and Business Media Deutschland GmbH, 2025. p. 1-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14550 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems

AU - Abate, Alessandro

AU - Althoff, Matthias

AU - Bu, Lei

AU - Ernst, Gidon

AU - Frehse, Goran

AU - Geretti, Luca

AU - Johnson, Taylor T.

AU - Menghi, Claudio

AU - Mitsch, Stefan

AU - Schupp, Stefan

AU - Soudjani, Sadegh

N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

PY - 2025

Y1 - 2025

N2 - The workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) is an annual venue for researchers and practitioners working on automated analysis and verification of hybrid systems. ARCH-COMP is a friendly competition held with the ARCH event. The competition was established in 2017 and aims to explore, document, and push forward the state of the art in the field. It evaluates and compares methods and tools for automated hybrid systems analysis and verification on predefined benchmark problems. It is supported by an active community around several categories of problems, including linear and nonlinear systems, simulation-based and analytic methods, and models from many application domains, such as automotive systems or neural networks. This paper describes the format of the competition and its organization. It documents the experiences and decisions from the current and past editions of the competition and presents reflections and lessons learned. Website:https://cps-vo.org/group/ARCH/FriendlyCompetition

AB - The workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) is an annual venue for researchers and practitioners working on automated analysis and verification of hybrid systems. ARCH-COMP is a friendly competition held with the ARCH event. The competition was established in 2017 and aims to explore, document, and push forward the state of the art in the field. It evaluates and compares methods and tools for automated hybrid systems analysis and verification on predefined benchmark problems. It is supported by an active community around several categories of problems, including linear and nonlinear systems, simulation-based and analytic methods, and models from many application domains, such as automotive systems or neural networks. This paper describes the format of the competition and its organization. It documents the experiences and decisions from the current and past editions of the competition and presents reflections and lessons learned. Website:https://cps-vo.org/group/ARCH/FriendlyCompetition

KW - competition

KW - hybrid systems

KW - tool evaluation

UR - http://www.scopus.com/inward/record.url?scp=85209923313&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-67695-6_1

DO - 10.1007/978-3-031-67695-6_1

M3 - Conference contribution

AN - SCOPUS:85209923313

SN - 9783031676949

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 37

BT - TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions

A2 - Beyer, Dirk

A2 - Hartmanns, Arnd

A2 - Kordon, Fabrice

PB - Springer Science and Business Media Deutschland GmbH

T2 - 3rd International TOOLympics Challenge, TOOLympics 2023 was part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023

Y2 - 22 April 2023 through 27 April 2023

ER -

Abate A, Althoff M, Bu L, Ernst G, Frehse G, Geretti L et al. The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. In Beyer D, Hartmanns A, Kordon F, editors, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Springer Science and Business Media Deutschland GmbH. 2025. p. 1-37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-67695-6_1