Dario Guidotti
Dario Guidotti
DPhil Student in Computer Science at University of Genoa
Email verificata su edu.unige.it - Home page
Titolo
Citata da
Citata da
Anno
Improving reliability of myocontrol using Formal Verification
D Guidotti, F Leofante, A Tacchella, C Castellini
IEEE Transactions on Neural Systems and Rehabilitation Engineering 27 (4 …, 2019
82019
Repairing Learned Controllers with Convex Optimization: A Case Study
D Guidotti, F Leofante, C Castellini, A Tacchella
International Conference on Integration of Constraint Programming …, 2019
42019
Verification of Neural Networks: Enhancing Scalability through Pruning
D Guidotti, F Leofante, L Pulina, A Tacchella
arXiv preprint arXiv:2003.07636, 2020
32020
Verification and repair of neural networks: a progress report on convolutional models
D Guidotti, F Leofante, L Pulina, A Tacchella
International Conference of the Italian Association for Artificial …, 2019
12019
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
D Guidotti, L Pulina, A Tacchella
arXiv preprint arXiv:2011.09933, 2020
2020
Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments
D Guidotti, F Leofante
Cyber-Physical Systems PhD Workshop, 2019
2019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–6