RONCOLATO, GABRIELE
RONCOLATO, GABRIELE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing | 1-gen-2023 | Marzari, Luca; Roncolato, Gabriele; Farinelli, Alessandro |