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

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

10 Sitaatiot (Scopus)

203 Lataukset (Pure)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24)
Kustantaja	EasyChair
Sivut	122-144
Sivumäärä	23
Vuosikerta	103
DOI - pysyväislinkit	https://doi.org/10.29007/hgfv
Tila	Julkaistu - 10 lokak. 2024
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Workshop on Applied Verification for Continuous and Hybrid Systems - Kesto: 3 heinäk. 2024 → …

Julkaisusarja

Nimi	EPiC Series in Computing
Vuosikerta	103
ISSN (painettu)	2398-7340

Konferenssi

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

Rahoitus

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.

Pääsy asiakirjaan

10.29007/hgfvLisenssi: Määrittelemätön

ARCH-COMP24_pages_122-144Lopullinen julkaistu versio, 651 KBLisenssi: Publisher rights policy

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

Viittausmuodot

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. teoksessa Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24) (Vuosikerta 103, Sivut 122-144). (EPiC Series in Computing; Vuosikerta 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. julkaisussa Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). Vuosikerta 103, EPiC Series in Computing, Vuosikerta 103, EasyChair, Sivut 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). Vuosikerta 103 EasyChair, 2024. s. 122-144 (EPiC Series in Computing; Vuosikerta 103).

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

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 -