ARCH-COMP 2023 Category Report: Falsification

Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

19 Nedladdningar (Pure)

Sammanfattning

This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.
OriginalspråkEngelska
Titel på värdpublikationProceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
FörlagEasyChair
Sidor151-169
DOI
StatusPublicerad - 2023
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Workshop on Applied Verification of Continuous and Hybrid Systems -
Varaktighet: 12 apr. 2023 → …

Publikationsserier

NamnEPiC Series in Computing
FörlagEasyChair
Volym96
ISSN (elektroniskt)2398-7340

Konferens

KonferensInternational Workshop on Applied Verification of Continuous and Hybrid Systems
Förkortad titelARCH
Period12/04/23 → …

Fingeravtryck

Fördjupa i forskningsämnen för ”ARCH-COMP 2023 Category Report: Falsification”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här