ARCH-COMP26 Category Report: Falsification

21 pages•Published: July 3, 2026

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

Abstract

We report the results from the falsification category of the 2026 Applied Verification for Continuous and Hybrid Systems (ARCH) competition. 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 this year's competition.

Keyphrases: benchmarking, cyber physical systems, evaluation, falsification, testing

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 145-165.

Links:	https://easychair.org/publications/paper/DtZ3
	https://doi.org/10.29007/f26d

BibTeX entry

@inproceedings{ARCH26:ARCH_COMP26_Category_Report,
  author    = {Tanmay Khandait and Paolo Arcaini and Georgios Fainekos and Federico Formica and Sauvik Gon and Ali Kaya and Atanu Kundu and Deyun Lyu and Claudio Menghi and Giulia Pedrielli and Ivan Porres and Rajarshi Ray and Quinn Thibeault and Masaki Waga and Zhenya Zhang},
  title     = {ARCH-COMP26 Category Report: Falsification},
  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/DtZ3},
  doi       = {10.29007/f26d},
  pages     = {145-165},
  year      = {2026}}

Download PDF Open PDF in browser