Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

ARCH26: Volume Information

Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems

Editors: Goran Frehse, Matthias Althoff and Luca Geretti

EPiC Series in Computing•Volume 110

8 articles•170 pages•Published: July 3, 2026

Papers

SpaceEx Hybrid Models with LTL Properties

Ludovico Battista, Stefano Tonetta and Gianni Zampedri

1-10

ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking

Lei Bu, Atanu Kundu, Rajarshi Ray, Rayan Mazouz and Yuhui Shi

11-27

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

Matthias Althoff, Alessandro Carraro, Marcelo Forets, Maximilian Perschl and Christian Schilling

28-51

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

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

52-84

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

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

85-130

ARCH-COMP26 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Xiangyu Jin, Shuling Wang and Bohua Zhan

131-144

ARCH-COMP26 Category Report: Falsification

Tanmay Khandait, Paolo Arcaini, Georgios Fainekos, Federico Formica, Sauvik Gon, Ali Kaya, Atanu Kundu, Deyun Lyu, Claudio Menghi, Giulia Pedrielli, Ivan Porres, Rajarshi Ray, Quinn Thibeault, Masaki Waga and Zhenya Zhang

145-165

ARCH-COMP26 Repeatability Evaluation Report

Nico Holzinger and Tobias Ladner

166-170

Keyphrases

ARCH-COMP, automated verification, Benchmarking, Bounded Model Checking, closed-loop, continuous dynamics, CORA, Cyber-Physical Systems², differential game logic, dynamic system, evaluation, falsification, formal verification, hybrid games, Hybrid Hoare Logic, hybrid systems⁵, JuliaReach, linear continuous dynamics, LTL, Neural Network Control Systems, neural networks, nonlinear dynamics, Piecewise Constant Dynamics, reachability², reachability analysis, safe AI, safety verification, stochastic barrier functions, testing, theorem proving, verification.