ARCH-COMP 2024 Category Report: Falsification

Tanmay Khandait; Federico Formica; Paolo Arcaini; Surdeep Chotaliya; Georgios Fainekos; Abdelrahman Hekal; Atanu Kundu; Ethan Lew; Michele Loreti; Claudio Menghi; Laura Nenzi; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; Rajarshi Ray; Valentin Soloviev; Ennio Visconti; Masaki Waga; Zhenya Zhang

doi:10.29007/hgfv

ARCH-COMP 2024 Category Report: Falsification

Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, Laura Nenzi, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Valentin Soloviev, Ennio Visconti, Masaki Waga, Zhenya Zhang

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

48 Nedladdningar (Pure)

Sammanfattning

This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.

Originalspråk	Engelska
Titel på värdpublikation	Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24)
Förlag	EasyChair
Sidor	122-144
Antal sidor	23
Volym	103
DOI	https://doi.org/10.29007/hgfv
Status	Publicerad - 10 okt. 2024
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Workshop on Applied Verification for Continuous and Hybrid Systems - Varaktighet: 3 juli 2024 → …

Publikationsserier

Namn	EPiC Series in Computing
Volym	103
ISSN (tryckt)	2398-7340

Konferens

Konferens	International Workshop on Applied Verification for Continuous and Hybrid Systems
Period	03/07/24 → …

Åtkomst av dokument

10.29007/hgfvLicens: Ospecificerad

ARCH-COMP24_pages_122-144Slutlig publicerad version, 651 KBLicens: Publisher rights policy

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

Citera det här

Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Soloviev, V., Visconti, E., Waga, M., & Zhang, Z. (2024). ARCH-COMP 2024 Category Report: Falsification. I Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24) (Vol. 103, s. 122-144). (EPiC Series in Computing; Vol. 103). EasyChair. https://doi.org/10.29007/hgfv

@inproceedings{818c904ecaeb4a2d9c205cdd1047102e,

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

abstract = "This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.",

author = "Tanmay Khandait and Federico Formica and Paolo Arcaini and Surdeep Chotaliya and Georgios Fainekos and Abdelrahman Hekal and Atanu Kundu and Ethan Lew and Michele Loreti and Claudio Menghi and Laura Nenzi and Giulia Pedrielli and Jarkko Peltom{\"a}ki and Ivan Porres and Rajarshi Ray and Valentin Soloviev and Ennio Visconti and Masaki Waga and Zhenya Zhang",

year = "2024",

month = oct,

day = "10",

doi = "10.29007/hgfv",

language = "English",

volume = "103",

series = "EPiC Series in Computing",

publisher = "EasyChair",

pages = "122--144",

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

note = "International Workshop on Applied Verification for Continuous and Hybrid Systems ; Conference date: 03-07-2024",

}

Khandait, T, Formica, F, Arcaini, P, Chotaliya, S, Fainekos, G, Hekal, A, Kundu, A, Lew, E, Loreti, M, Menghi, C, Nenzi, L, Pedrielli, G, Peltomäki, J , Porres, I, Ray, R, Soloviev, V, Visconti, E, Waga, M & Zhang, Z 2024, ARCH-COMP 2024 Category Report: Falsification. i Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). vol. 103, EPiC Series in Computing, vol. 103, EasyChair, s. 122-144, International Workshop on Applied Verification for Continuous and Hybrid Systems, 03/07/24. https://doi.org/10.29007/hgfv

ARCH-COMP 2024 Category Report: Falsification. / Khandait, Tanmay; Formica, Federico; Arcaini, Paolo et al.
Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). Vol. 103 EasyChair, 2024. s. 122-144 (EPiC Series in Computing; Vol. 103).

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

TY - GEN

T1 - ARCH-COMP 2024 Category Report: Falsification

AU - Khandait, Tanmay

AU - Formica, Federico

AU - Arcaini, Paolo

AU - Chotaliya, Surdeep

AU - Fainekos, Georgios

AU - Hekal, Abdelrahman

AU - Kundu, Atanu

AU - Lew, Ethan

AU - Loreti, Michele

AU - Menghi, Claudio

AU - Nenzi, Laura

AU - Pedrielli, Giulia

AU - Peltomäki, Jarkko

AU - Porres, Ivan

AU - Ray, Rajarshi

AU - Soloviev, Valentin

AU - Visconti, Ennio

AU - Waga, Masaki

AU - Zhang, Zhenya

PY - 2024/10/10

Y1 - 2024/10/10

N2 - This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.

AB - This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.

U2 - 10.29007/hgfv

DO - 10.29007/hgfv

M3 - Conference contribution

VL - 103

T3 - EPiC Series in Computing

SP - 122

EP - 144

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

PB - EasyChair

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

Y2 - 3 July 2024

ER -

ARCH-COMP 2024 Category Report: Falsification

Sammanfattning

Publikationsserier

Konferens

Åtkomst av dokument

Fingeravtryck

Citera det här