ARCH-COMP 2024 Category Report: Falsification

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

ARCH-COMP 2024 Category Report: Falsification

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

Informaatioteknologia

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

Alkuperäiskieli	Englanti
Otsikko	Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24)
Tila	Hyväksytty/In press - 2024
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

Viittausmuodot

Peltomäki, J., Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Porres, I., Ray, R., Valentin, S., Visconti, E., Waga, M., & Zhang, Z. (Hyväksytty/painossa). ARCH-COMP 2024 Category Report: Falsification. teoksessa Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24)

@inproceedings{818c904ecaeb4a2d9c205cdd1047102e,

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

author = "Jarkko Peltom{\"a}ki and 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 Ivan Porres and Rajarshi Ray and Soloviev Valentin and Ennio Visconti and Masaki Waga and Zhenya Zhang",

note = "Ej {\"a}nnu utkommen? 7.10.24 ",

year = "2024",

language = "English",

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

}

Peltomäki, J, Khandait, T, Formica, F, Arcaini, P, Chotaliya, S, Fainekos, G, Hekal, A, Kundu, A, Lew, E, Loreti, M, Menghi, C, Nenzi, L, Pedrielli, G, Porres, I, Ray, R, Valentin, S, 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).

TY - GEN

T1 - ARCH-COMP 2024 Category Report: Falsification

AU - Peltomäki, Jarkko

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 - Porres, Ivan

AU - Ray, Rajarshi

AU - Valentin, Soloviev

AU - Visconti, Ennio

AU - Waga, Masaki

AU - Zhang, Zhenya

N1 - Ej ännu utkommen? 7.10.24

PY - 2024

Y1 - 2024

M3 - Conference contribution

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

ER -