GUIDOTTI, DARIO
GUIDOTTI, DARIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Improving Reliability of Myocontrol Using Formal Verification | 1-gen-2019 | Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C. | |
| NeVer2: learning and verification of neural networks | 1-gen-2024 | Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A. |