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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

13 Nedladdningar (Pure)

Sammanfattning

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.

Originalspråk	Engelska
Titel på värdpublikation	Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Förlag	EasyChair
Sidor	151-169
DOI	https://doi.org/10.29007/6nqs
Status	Publicerad - 2023
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Workshop on Applied Verification of Continuous and Hybrid Systems - Varaktighet: 12 apr. 2023 → …

Publikationsserier

Namn	EPiC Series in Computing
Förlag	EasyChair
Volym	96
ISSN (elektroniskt)	2398-7340

Konferens

Konferens	International Workshop on Applied Verification of Continuous and Hybrid Systems
Förkortad titel	ARCH
Period	12/04/23 → …

Åtkomst av dokument

10.29007/6nqs

ARCH-COMP23_Category_Report_Falsification (1)Slutlig publicerad version, 571 KBLicens: Ospecificerad

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

AIDOaRT
Porres Paltor, I., Truscan, D., Nybom, K. & Logacheva, E.
European Commission
01/04/21 → 31/03/24
Projekt: EU

Citera det här

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. I Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (s. 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. i Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EPiC Series in Computing, vol. 96, EasyChair, s. 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. s. 151-169 (EPiC Series in Computing; Vol. 96).

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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

Sammanfattning

Publikationsserier

Konferens

Åtkomst av dokument

Fingeravtryck

Projekt

AIDOaRT

Citera det här