Projekt per år
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åk | Engelska |
---|---|
Titel på värdpublikation | Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) |
Förlag | EasyChair |
Sidor | 151-169 |
DOI | |
Status | Publicerad - 2023 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | International Workshop on Applied Verification of Continuous and Hybrid Systems - Varaktighet: 12 apr. 2023 → … |
Publikationsserier
Namn | EPiC Series in Computing |
---|---|
Förlag | EasyChair |
Volym | 96 |
ISSN (elektroniskt) | 2398-7340 |
Konferens
Konferens | International Workshop on Applied Verification of Continuous and Hybrid Systems |
---|---|
Förkortad titel | ARCH |
Period | 12/04/23 → … |
Fingeravtryck
Fördjupa i forskningsämnen för ”ARCH-COMP 2023 Category Report: Falsification”. Tillsammans bildar de ett unikt fingeravtryck.Projekt
- 1 Slutfört
-
AIDOaRT
Porres Paltor, I. (Ansvarig forskare), Truscan, D. (CoPI), Nybom, K. (CoI), Logacheva, E. (CoI), Winsten, J. (CoI) & Peltomäki, J. (CoI)
01/04/21 → 30/09/24
Projekt: EU