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

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

1 Citation (Scopus)

65 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24)
Publisher	EasyChair
Pages	122-144
Number of pages	23
Volume	103
DOIs	https://doi.org/10.29007/hgfv
Publication status	Published - 10 Oct 2024
MoE publication type	A4 Article in a conference publication
Event	International Workshop on Applied Verification for Continuous and Hybrid Systems - Duration: 3 Jul 2024 → …

Publication series

Name	EPiC Series in Computing
Volume	103
ISSN (Print)	2398-7340

Conference

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

Access to Document

10.29007/hgfvLicence: Unknown

ARCH-COMP24_pages_122-144Final published version, 651 KBLicence: Publisher rights policy

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

Cite this

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. In Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24) (Vol. 103, pp. 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. in Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). vol. 103, EPiC Series in Computing, vol. 103, EasyChair, pp. 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. p. 122-144 (EPiC Series in Computing; Vol. 103).

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › 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 -

ARCH-COMP 2024 Category Report: Falsification

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this