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

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

7 Sitaatiot (Scopus)

89 Lataukset (Pure)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Kustantaja	EasyChair
Sivut	151-169
DOI - pysyväislinkit	https://doi.org/10.29007/6nqs
Tila	Julkaistu - 2023
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Workshop on Applied Verification of Continuous and Hybrid Systems - Kesto: 12 huhtik. 2023 → …

Julkaisusarja

Nimi	EPiC Series in Computing
Kustantaja	EasyChair
Vuosikerta	96
ISSN (elektroninen)	2398-7340

Konferenssi

Konferenssi	International Workshop on Applied Verification of Continuous and Hybrid Systems
Lyhennettä	ARCH
Ajanjakso	12/04/23 → …

Pääsy asiakirjaan

10.29007/6nqs

ARCH-COMP23_Category_Report_Falsification (1)Lopullinen julkaistu versio, 571 KBLisenssi: Määrittelemätön

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

AIDOaRT
Porres Paltor, I. (Vastuullinen tutkija), Truscan, D. (CoPI), Nybom, K. (CoI) & Logacheva, E. (CoI)
European Commission
01/04/21 → 30/09/24
Projekti: EU

Viittausmuodot

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. teoksessa Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (Sivut 151-169). (EPiC Series in Computing; Vuosikerta 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. julkaisussa Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EPiC Series in Computing, Vuosikerta 96, EasyChair, Sivut 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; Vuosikerta 96).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

Abstrakti

Julkaisusarja

Konferenssi

Pääsy asiakirjaan

Sormenjälki

Projektit

AIDOaRT

Viittausmuodot