Abate, Alessandro
Abate, Alessandro
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Special issue: Formal verification of cyber-physical systems
2022-01-01 Geretti, Luca; Abate, Alessandro; Nuzzo, Pierluigi; Villa, Tiziano
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
2025-01-01 Abate, Alessandro; Althoff, Matthias; Bu, Lei; Ernst, Gidon; Frehse, Goran; Geretti, Luca; Johnson, Taylor T.; Menghi, Claudio; Mitsch, Stefan; Schupp, Stefan; Soudjani, Sadegh
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Special issue: Formal verification of cyber-physical systems | 1-gen-2022 | Geretti, Luca; Abate, Alessandro; Nuzzo, Pierluigi; Villa, Tiziano | |
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems | 1-gen-2025 | Abate, Alessandro; Althoff, Matthias; Bu, Lei; Ernst, Gidon; Frehse, Goran; Geretti, Luca; Johnson, Taylor T.; Menghi, Claudio; Mitsch, Stefan; Schupp, Stefan; Soudjani, Sadegh |