LEOFANTE, Francesco
LEOFANTE, Francesco
Universita' degli Studi di SASSARI
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.002 secondi).
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
2018-01-01 Leofante, Francesco; Nina, Narodytska; Pulina, Luca; Armando, Tacchella
Improving Reliability of Myocontrol Using Formal Verification
2019-01-01 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
Repair of convolutional neural networks using convex optimization: Preliminary experiments
2019-01-01 Guidotti, D.; Leofante, F.
Repairing Learned Controllers with Convex Optimization: A Case Study
2019-01-01 Guidotti, D.; Leofante, F.; Castellini, C.; Tacchella, A.
SMarTplan: a Task Planner for Smart Factories
2018-01-01 Bit, Arthur Frederic; Leofante, Francesco; Pulina, Luca; Erika, Abraham; Armando, Tacchella
SMT-based planning for robots in smart factories
2019-01-01 Bit-Monnot, A.; Leofante, F.; Pulina, L.; Tacchella, A.
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models
2019-01-01 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automated Verification of Neural Networks: Advances, Challenges and Perspectives | 1-gen-2018 | Leofante, Francesco; Nina, Narodytska; Pulina, Luca; Armando, Tacchella | |
| Improving Reliability of Myocontrol Using Formal Verification | 1-gen-2019 | Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C. | |
| Repair of convolutional neural networks using convex optimization: Preliminary experiments | 1-gen-2019 | Guidotti, D.; Leofante, F. | |
| Repairing Learned Controllers with Convex Optimization: A Case Study | 1-gen-2019 | Guidotti, D.; Leofante, F.; Castellini, C.; Tacchella, A. | |
| SMarTplan: a Task Planner for Smart Factories | 1-gen-2018 | Bit, Arthur Frederic; Leofante, Francesco; Pulina, Luca; Erika, Abraham; Armando, Tacchella | |
| SMT-based planning for robots in smart factories | 1-gen-2019 | Bit-Monnot, A.; Leofante, F.; Pulina, L.; Tacchella, A. | |
| Verification and Repair of Neural Networks: A Progress Report on Convolutional Models | 1-gen-2019 | Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A. |