Geatti, Luca

Geatti, Luca  

ES  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
A first-order logic characterisation of safety and co-safety languages 1-gen-2022 Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
A first-order logic characterization of safety and co-safety languages 1-gen-2023 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 1-gen-2021 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Expressiveness of Extended Bounded Response LTL 1-gen-2021 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 1-gen-2021 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 1-gen-2021 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
GR(1) is equivalent to R(1) 1-gen-2023 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker 1-gen-2021 Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Venturato, Gabriele
Reactive Synthesis from Extended Bounded Response LTL Specifications 1-gen-2020 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Safe Decomposition of Startup Requirements: Verification and Synthesis 1-gen-2020 Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano