ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

33 pages•Published: July 3, 2026

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Maximilian Perschl, Christian Schilling, Joris Tillet and Ben Wooding

Abstract

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2026. This year, 6 tools participated: Ariadne, CORA, DynIbex, JuliaReach, KeYmaera X and PRoTECT (in alphabetic order). These tools are applied to solve reachability analysis problems on seven benchmark problems, two of them featuring some aspects of hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.

Keyphrases: continuous dynamics, hybrid systems, nonlinear dynamics, reachability, safety verification

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 52-84.

Links:	https://easychair.org/publications/paper/2Zsc
	https://doi.org/10.29007/f5l7

BibTeX entry

@inproceedings{ARCH26:ARCH_COMP26_Category_Report,
  author    = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Pieter Collins and Marcelo Forets and Stefan Mitsch and Maximilian Perschl and Christian Schilling and Joris Tillet and Ben Wooding},
  title     = {ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
  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/2Zsc},
  doi       = {10.29007/f5l7},
  pages     = {52-84},
  year      = {2026}}

Download PDF Open PDF in browser