ARCH-COMP26 Repeatability Evaluation Report

5 pages•Published: July 3, 2026

Abstract

The repeatability evaluation for the 13th International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP’26) is summarized in this report. The competition was held as part of the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop in 2026. In its 13th 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, Matthias Althoff and Luca Geretti (editors). Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, vol 110, pages 166-170.

Links:	https://easychair.org/publications/paper/ZMzc
	https://doi.org/10.29007/bdcf

BibTeX entry

@inproceedings{ARCH26:ARCH_COMP26_Repeatability_Evaluation,
  author    = {Nico Holzinger and Tobias Ladner},
  title     = {ARCH-COMP26 Repeatability Evaluation Report},
  booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff and Luca Geretti},
  series    = {EPiC Series in Computing},
  volume    = {110},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/ZMzc},
  doi       = {10.29007/bdcf},
  pages     = {166-170},
  year      = {2026}}

Download PDF Open PDF in browser