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
N1 - Funding Information:
Acknowledgments Many thanks to the organizers of the ARCH workshop 2022 for hosting this competition and for providing a supportive and friendly environment. The organizer thanks all participants for their time and patience during investigation of the discrepancies found during validation. P. Arcaini is supported by MIRAI Engineerable AI Project (No. JP-MJMI20B8), JST; and ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST, Funding Reference number: 10.13039/501100009024. The ASU team (S-TaLiRo + SOAR) was partially supported by DARPA FA8750-20-C-0507, NSF CNS 1932068, NSF CMMI 2046588, NSF CNS 2000792, NSF CMMI 1829238, NSF IIP-1361926 and the NSF I/UCRC Center for Embedded Systems. Z. Zhang is supported by JSPS KAKENHI Grant No. 20H04168, 19K24348, 19H04086, JST-Mirai Program Grant No. JPMJMI20B8, Japan. F. Formica, M. M. Mahboob, and C. Menghi are supported by the Natural Sciences and Engineering Research Council of Canada (NSERC), [funding reference number RGPIN-2022-04622]. M. Waga is partially supported by JST ACT-X Grant Number JPMJAX200U and JST CREST Grant Number JPMJCR2012, Japan.
Publisher Copyright:
© 2022, EasyChair. All rights reserved.
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 -