ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources

Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang

Research output: Contribution to journalConference articlepeer-review

7 Scopus citations

Abstract

This report presents the results from the 2022 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited and adapted from the previous years, give background on the participating teams and tools, and discuss the selected benchmarks. In this year’s competition, in addition to the result validation introduced in the previous year, we change the experimental settings for a better account of the difficulty of benchmarks and for a better comparability between the tools. Data: https://gitlab.com/goranf/ARCH-COMP, https://dx.doi.org/10.5281/zenodo.7359624

Original languageEnglish (US)
Pages (from-to)204-221
Number of pages18
JournalEPiC Series in Computing
Volume90
DOIs
StatePublished - 2022
Event9th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2022 - Munich, Germany
Duration: Sep 5 2022Sep 5 2022

ASJC Scopus subject areas

  • General Computer Science

Fingerprint

Dive into the research topics of 'ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources'. Together they form a unique fingerprint.

Cite this