Geatti, Luca
Geatti, Luca
ES
A first-order logic characterisation of safety and co-safety languages
2022-01-01 Cimatti, A.; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
A first-order logic characterization of safety and co-safety languages
2023-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker
2021-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Expressiveness of Extended Bounded Response LTL
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
GR(1) is equivalent to R(1)
2023-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker
2021-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Venturato, Gabriele
Reactive Synthesis from Extended Bounded Response LTL Specifications
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Safe Decomposition of Startup Requirements: Verification and Synthesis
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano
| 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 |