Applied Verification for Continuous and Hybrid Systems

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)

  • Packages have to be submitted here.
  • Instructions for upload can be found here.

4. Each group prepares a report on the results (by May 28).

  • 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: Alessandro Abate)
  • Falsification (lead: Gidon Ernst)
  • 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:

Repeatability Packages

Repeatability packages of all years can be found here.