CIMATTI, Alessandro
CIMATTI, Alessandro
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 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
Symbolic Automata for MTL0,oo with Super-Dense Semantics
2026-01-01 Fantinato, Filippo; Cimatti, Alessandro; Tonetta, Stefano
| 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 | |
| Symbolic Automata for MTL0,oo with Super-Dense Semantics | 1-gen-2026 | Fantinato, Filippo; Cimatti, Alessandro; Tonetta, Stefano |