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

ARCH25: Volume Information

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

Editors: Goran Frehse and Matthias Althoff

EPiC Series in Computing•Volume 108

8 articles•194 pages•Published: December 22, 2025

Papers

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

Lei Bu, Atanu Kundu, Rajarshi Ray and Yuhui Shi

1-14

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

Matthias Althoff, Marcelo Forets, Maximilian Perschl and Christian Schilling

15-38

ARCH-COMP25 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, Ismail Patel, Maximilian Perschl, Christian Schilling and Joris Tillet

39-70

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

Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Samuel Coogan, Marcelo Forets, Akash Harapanahalli, Taylor T. Johnson, Tobias Ladner, Christian Schilling, Huan Zhang and Xiangru Zhong

71-121

ARCH-COMP25 Category Report: Stochastic Models

Alessandro Abate, Omid Akbarzadeh, Henk A.P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding and Mahdieh Zaker

122-151

ARCH-COMP25 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Ismail Patel, Hari Hara Sudhan Kannan, Xiangyu Jin, Bohua Zhan and Shuling Wang

152-168

ARCH-COMP25 Category Report: Falsification

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

169-189

ARCH-COMP25 Repeatability Evaluation Report

190-194

Keyphrases

ARCH-COMP, Benchmarking², closed-loop, control system, CORA, Cyber-Physical Systems, differential dynamic logic, dynamic system, evaluation, falsification, formal verification², Hybrid Hoare Logic, hybrid system, hybrid systems³, JuliaReach, linear continuous dynamics, model checking, neural feedback loop, Neural Network Control System, neural networks, nonlinear systems, Piecewise Constant Dynamics, reachability analysis², safe AI, software tools, stochastic hybrid systems, stochastic models, theorem proving², verification.