LEOFANTE, Francesco
LEOFANTE, Francesco
Universita' degli Studi di SASSARI
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
2018-01-01 Leofante, Francesco; Nina, Narodytska; Pulina, Luca; Armando, Tacchella
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 | |
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. |