ARCH-COMP 2023 Category Report: Falsification

Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; Rajarshi Ray; Masaki Waga; Zhenya Zhang

doi:10.29007/6nqs

ARCH-COMP 2023 Category Report: Falsification

Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

7 Citations (Scopus)

95 Downloads (Pure)

Abstract

This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.

Original language	English
Title of host publication	Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Publisher	EasyChair
Pages	151-169
DOIs	https://doi.org/10.29007/6nqs
Publication status	Published - 2023
MoE publication type	A4 Article in a conference publication
Event	International Workshop on Applied Verification of Continuous and Hybrid Systems - Duration: 12 Apr 2023 → …

Publication series

Name	EPiC Series in Computing
Publisher	EasyChair
Volume	96
ISSN (Electronic)	2398-7340

Conference

Conference	International Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated title	ARCH
Period	12/04/23 → …

Access to Document

10.29007/6nqs

ARCH-COMP23_Category_Report_Falsification (1)Final published version, 571 KBLicence: Unknown

https://urn.fi/URN:NBN:fi-fe202402055564

AIDOaRT
Porres Paltor, I. (Principal Investigator), Truscan, D. (Co-Principal Investigator), Nybom, K. (Co-Investigator) & Logacheva, E. (Co-Investigator)
European Commission
01/04/21 → 30/09/24
Project: EU

Cite this

Menghi, C., Arcaini, P., Baptista, W., Ernst, G., Fainekos, G., Formica, F., Gon, S., Khandait, T., Kundu, A., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Waga, M., & Zhang, Z. (2023). ARCH-COMP 2023 Category Report: Falsification. In Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (pp. 151-169). (EPiC Series in Computing; Vol. 96). EasyChair. https://doi.org/10.29007/6nqs

@inproceedings{843986d0dedf45caa43eb7a89f80fe97,

title = "ARCH-COMP 2023 Category Report: Falsification",

abstract = "This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.",

author = "Claudio Menghi and Paolo Arcaini and Walstan Baptista and Gidon Ernst and Georgios Fainekos and Federico Formica and Sauvik Gon and Tanmay Khandait and Atanu Kundu and Giulia Pedrielli and Jarkko Peltom{\"a}ki and Ivan Porres and Rajarshi Ray and Masaki Waga and Zhenya Zhang",

year = "2023",

doi = "10.29007/6nqs",

language = "English",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "151--169",

booktitle = "Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)",

note = "International Workshop on Applied Verification of Continuous and Hybrid Systems , ARCH ; Conference date: 12-04-2023",

}

Menghi, C, Arcaini, P, Baptista, W, Ernst, G, Fainekos, G, Formica, F, Gon, S, Khandait, T, Kundu, A, Pedrielli, G, Peltomäki, J , Porres, I, Ray, R, Waga, M & Zhang, Z 2023, ARCH-COMP 2023 Category Report: Falsification. in Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EPiC Series in Computing, vol. 96, EasyChair, pp. 151-169, International Workshop on Applied Verification of Continuous and Hybrid Systems , 12/04/23. https://doi.org/10.29007/6nqs

ARCH-COMP 2023 Category Report: Falsification. / Menghi, Claudio; Arcaini, Paolo; Baptista, Walstan et al.
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EasyChair, 2023. p. 151-169 (EPiC Series in Computing; Vol. 96).

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - ARCH-COMP 2023 Category Report: Falsification

AU - Menghi, Claudio

AU - Arcaini, Paolo

AU - Baptista, Walstan

AU - Ernst, Gidon

AU - Fainekos, Georgios

AU - Formica, Federico

AU - Gon, Sauvik

AU - Khandait, Tanmay

AU - Kundu, Atanu

AU - Pedrielli, Giulia

AU - Peltomäki, Jarkko

AU - Porres, Ivan

AU - Ray, Rajarshi

AU - Waga, Masaki

AU - Zhang, Zhenya

PY - 2023

Y1 - 2023

N2 - This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.

AB - This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.

U2 - 10.29007/6nqs

DO - 10.29007/6nqs

M3 - Conference contribution

T3 - EPiC Series in Computing

SP - 151

EP - 169

BT - Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)

PB - EasyChair

T2 - International Workshop on Applied Verification of Continuous and Hybrid Systems

Y2 - 12 April 2023

ER -

ARCH-COMP 2023 Category Report: Falsification

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

AIDOaRT

Cite this