ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

46 pages•Published: July 3, 2026

Samuel Sasaki, Ben Wooding, Taylor T. Johnson, Matthias Althoff, Luis Benet, Samuel Coogan, Marcelo Forets, Akash Harapanahalli, Lukas Koller, Tobias Ladner, Christian Schilling, Huan Zhang and Xiangru Zhong

Abstract

This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with artificial intelligence (AI) components. Specifically, machine learning (ML) components in cyber-physical systems (CPS), such as feedforward neural networks used as feedback controllers in closed-loop systems, are considered, which is a class of systems classically known as intelligent control systems, or in more modern and specific terms, neural network control systems (NNCS). We broadly refer to this category as AI and NNCS (AINNCS). The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2026. In this edition of the AINNCS category at ARCH-COMP, four tools have been applied to solve 12 benchmarks, which are CORA, CROWN-Reach, immrax, and JuliaReach.

Keyphrases: cyber physical systems, neural network control systems, 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 85-130.

Links:	https://easychair.org/publications/paper/GsKW
	https://doi.org/10.29007/637n

BibTeX entry

@inproceedings{ARCH26:ARCH_COMP26_Category_Report,
  author    = {Samuel Sasaki and Ben Wooding and Taylor T. Johnson and Matthias Althoff and Luis Benet and Samuel Coogan and Marcelo Forets and Akash Harapanahalli and Lukas Koller and Tobias Ladner and Christian Schilling and Huan Zhang and Xiangru Zhong},
  title     = {ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
  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/GsKW},
  doi       = {10.29007/637n},
  pages     = {85-130},
  year      = {2026}}

Download PDF Open PDF in browser