CIMATTI, Alessandro
CIMATTI, Alessandro
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Expressiveness of Extended Bounded Response LTL
2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures
2022-01-01 Stefenon, Stefano Frizzo; Singh, Gurmail; Yow, Kin-Choong; Cimatti, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Expressiveness of Extended Bounded Response LTL | 1-gen-2021 | Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano | |
Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures | 1-gen-2022 | Stefenon, Stefano Frizzo; Singh, Gurmail; Yow, Kin-Choong; Cimatti, Alessandro |