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

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

19 Citeringar (Scopus)

461 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 → …

Finansiering

European Union\u2019s Horizon 2021 research and innovation programme and Sweden, Austria, Czech Republic, Finland, France, Italy, Spain. E. Visconti is supported by the Austrian Science Fund (FWF) for the project \u201CHigh-dimensional statistical learning: New methods to advance economic and sustainability policies\u201D (ZK 35), jointly carried out by the University of Klagenfurt, the University of Salzburg, TU Wien, and the Austrian Institute of Economic Research (WIFO). M. Waga is partially supported by JST ACT-X Grant Number JPMJAX200U, JSPS KAKENHI Grant Number JP22K17873, and JST CREST Grant Number JPMJCR2012, Japan.

Å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 › Publicerad konferensartikel › 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 - Published conference proceeding

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 -