ARCH-COMP25 Category Report: Falsification

21 pages•Published: December 22, 2025

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

Abstract

We report the results from the falsification category of the 2025 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. We summarize the rules for this year’s competition, the experimental settings, and benchmark models. We provide background on the participating teams and tools. Finally, we present and discuss the results of the competition.

Keyphrases: benchmarking, cyber physical systems, evaluation, falsification

In: Goran Frehse and Matthias Althoff (editors). Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, vol 108, pages 169-189.

Links:	https://easychair.org/publications/paper/xX5W
	https://doi.org/10.29007/dgnn

BibTeX entry

@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
  author    = {Tanmay Khandait and Deyun Lyu and Paolo Arcaini and Georgios Fainekos and Federico Formica and Sauvik Gon and Abdelrahman Hekal and Atanu Kundu and Claudio Menghi and Giulia Pedrielli and Rajarshi Ray and Quinn Thibeault and Masaki Waga and Zhenya Zhang},
  title     = {ARCH-COMP25 Category Report: Falsification},
  booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {108},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xX5W},
  doi       = {10.29007/dgnn},
  pages     = {169-189},
  year      = {2025}}

Download PDF Open PDF in browser