ARCH-COMP25 Repeatability Evaluation Report

5 pages•Published: December 22, 2025

Abstract

The repeatability evaluation for the 9th International Competition on Verifying Continuous and
Hybrid Systems (ARCH-COMP’25) is summarized in this report. The competition was held as part
of the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop in 2025. In its
9th edition, participants submitted their tools via an automated evaluation system developed over
recent years. Each submission includes a Dockerfile and the necessary scripts for running the tool,
enabling consistent execution in a containerized environment with all dependencies preinstalled. This
setup improves comparability by running all tools on the same hardware. Submissions and results are
automatically synchronized with a Git repository for repeatability evaluation and long-term archiving.
We plan to further extend the evaluation system by refining the submission pipeline, aiming to enable
automated evaluation across all competition categories.

Keyphrases: closed loop, dynamic system, formal verification, neural networks, reachability analysis, safe ai

In: Goran Frehse and Matthias Althoff (editors). Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, vol 108, pages 190-194.

Links:	https://easychair.org/publications/paper/rH6M
	https://doi.org/10.29007/b6nl

BibTeX entry

@inproceedings{ARCH25:ARCH_COMP25_Repeatability_Evaluation,
  author    = {Tobias Ladner},
  title     = {ARCH-COMP25 Repeatability Evaluation Report},
  booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {108},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/rH6M},
  doi       = {10.29007/b6nl},
  pages     = {190-194},
  year      = {2025}}

Download PDF Open PDF in browser