Montanari, Angelo
Montanari, Angelo
Sviluppo delle Risorse Umane
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
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
GR(1) is equivalent to R(1)
2023-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
GR(1) is equivalent to R(1) | 1-gen-2023 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano |