GUIDOTTI, DARIO
GUIDOTTI, DARIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.012 secondi).
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
2022-01-01 Demarchi, Stefano; Guidotti, Dario; Pitto, Andrea; Tacchella, Armando
Improving Reliability of Myocontrol Using Formal Verification
2019-01-01 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
pyNeVer: A Framework for Learning and Verification of Neural Networks
2021-01-01 Guidotti, D; Pulina, L; Tacchella, A
Repairing Learned Controllers with Convex Optimization: A Case Study
2019-01-01 Guidotti, Dario; Leofante, F.; Castellini, C.; Tacchella, A.
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis
2021-01-01 Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A.
Verification and Repair of Machine Learning Models
2022-05-24 Guidotti, Dario
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models
2019-01-01 Guidotti, D.; Leofante, Francesco; Pulina, L.; Tacchella, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control | 1-gen-2022 | Demarchi, Stefano; Guidotti, Dario; Pitto, Andrea; Tacchella, Armando | |
| Improving Reliability of Myocontrol Using Formal Verification | 1-gen-2019 | Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C. | |
| pyNeVer: A Framework for Learning and Verification of Neural Networks | 1-gen-2021 | Guidotti, D; Pulina, L; Tacchella, A | |
| Repairing Learned Controllers with Convex Optimization: A Case Study | 1-gen-2019 | Guidotti, Dario; Leofante, F.; Castellini, C.; Tacchella, A. | |
| Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis | 1-gen-2021 | Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A. | |
| Verification and Repair of Machine Learning Models | 24-mag-2022 | Guidotti, Dario | |
| Verification and Repair of Neural Networks: A Progress Report on Convolutional Models | 1-gen-2019 | Guidotti, D.; Leofante, Francesco; Pulina, L.; Tacchella, A. |