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

doi:10.29007/fhnk

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

Engineering, Ira A. Fulton Schools of (IAFSE)

Research output: Contribution to journal › Conference article › peer-review

18 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 language	English (US)
Pages (from-to)	204-221
Number of pages	18
Journal	EPiC Series in Computing
Volume	90
DOIs	https://doi.org/10.29007/fhnk
State	Published - 2022
Event	9th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2022 - Munich, Germany Duration: Sep 5 2022 → Sep 5 2022

ASJC Scopus subject areas

General Computer Science

Access to Document

10.29007/fhnk

Cite this

@article{fc3945a170d84a50a61d1ed9a9861717,

title = "ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources",

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{\textquoteright}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",

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

note = "Publisher Copyright: {\textcopyright} 2022, EasyChair. All rights reserved.; 9th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2022 ; Conference date: 05-09-2022 Through 05-09-2022",

year = "2022",

doi = "10.29007/fhnk",

language = "English (US)",

volume = "90",

pages = "204--221",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

}

TY - JOUR

T1 - ARCH-COMP 2022 Category Report

T2 - 9th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2022

AU - Ernst, Gidon

AU - Arcaini, Paolo

AU - Fainekos, Georgios

AU - Formica, Federico

AU - Inoue, Jun

AU - Khandait, Tanmay

AU - Mahboob, Mohammad Mahdi

AU - Menghi, Claudio

AU - Pedrielli, Giulia

AU - Waga, Masaki

AU - Yamagata, Yoriyuki

AU - Zhang, Zhenya

PY - 2022

Y1 - 2022

N2 - 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

AB - 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

UR - http://www.scopus.com/inward/record.url?scp=85148911052&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85148911052&partnerID=8YFLogxK

U2 - 10.29007/fhnk

DO - 10.29007/fhnk

M3 - Conference article

AN - SCOPUS:85148911052

SN - 2398-7340

VL - 90

SP - 204

EP - 221

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 5 September 2022 through 5 September 2022

ER -

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this