Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
SMarTplan: a Task Planner for Smart Factories
2018-01-01 Bit, Arthur Frederic; Leofante, Francesco; Pulina, Luca; Erika, Abraham; Armando, Tacchella
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
2018-01-01 Leofante, Francesco; Nina, Narodytska; Pulina, Luca; Armando, Tacchella
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models
2019-01-01 Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
SMT-based planning for robots in smart factories
2019-01-01 Bit-Monnot, A.; Leofante, F.; Pulina, L.; Tacchella, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
SMarTplan: a Task Planner for Smart Factories | 1-gen-2018 | Bit, Arthur Frederic; Leofante, Francesco; Pulina, Luca; Erika, Abraham; Armando, Tacchella | |
Automated Verification of Neural Networks: Advances, Challenges and Perspectives | 1-gen-2018 | Leofante, Francesco; Nina, Narodytska; Pulina, Luca; Armando, Tacchella | |
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models | 1-gen-2019 | Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A. | |
SMT-based planning for robots in smart factories | 1-gen-2019 | Bit-Monnot, A.; Leofante, F.; Pulina, L.; Tacchella, A. |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile