Call for Participation
ARCH-COMP 2025
9th International Competition on Verifying Continuous and Hybrid Systems
Call for Participation
1. Join a group that treats problems similar to yours (by March 12).
The current groups are listed in the section Participants.
2. Each group determines a set of problems and submits preliminary results (by March 26).
- Everybody can propose, all should approve.
- Benchmarks from ARCH repository are preferred.
- Problems are revised in group discussions.
- Send in models and data used to run your tool here.
3. Each group submits packages for the repeatability evaluation (by May 14)
4. Each group prepares a report on the results (by June 11).
- Evaluation chair signals approved results.
5. Reports are presented (June 04)
- presentation at ARCH workshop.
(participants of the competition are not required to attend the workshop) - published online in EPiC proceedings (indexed by DBLP).
Join by email to:
arch25-comp@easychair.org
General Chairs:
Goran Frehse, ENSTA, IP Paris
Matthias Althoff, Technical University of Munich
Evaluation Chair:
Taylor T. Johnson, Vanderbilt University
Categories
- Piecewise Constant Dynamics (lead: Lei Bu)
- Continuous and Hybrid Systems with Linear Dynamics (lead: Matthias Althoff)
- Nonlinear Dynamics (lead: Luca Geretti)
- Artificial Intelligence and Neural Network Control Systems (lead: Taylor Johnson)
- Stochastic Models (lead: Abolfazl Lavaei)
- Falsification (lead: Claudio Menghi)
- Hybrid Programs (lead: Stefan Mitsch)
Competition Statutes
The statutes and some tips and tricks are available here.
Results
The competition reports of each year can be found in the corresponding proceedings:
- ARCH proceedings 2024
- ARCH proceedings 2023
- ARCH proceedings 2022
- ARCH proceedings 2021
- ARCH proceedings 2020
- ARCH proceedings 2019
- ARCH proceedings 2018
- ARCH proceedings 2017
Repeatability Packages
Repeatability packages of all years can be found here.