Sfoglia per Autore
Combining static and runtime methods to achieve safe standing-up for humanoid robots
2016-01-01 Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils
Learning in physical domains: Mating safety requirements and costly sampling
2016-01-01 Leofante, Francesco; Tacchella, Armando
On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories
2017-01-01 Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando
Task planning with OMT: An application to production logistics
2018-01-01 Leofante, F.; Abraham, E.; Tacchella, A.
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics
2018-01-01 Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando
Improving Reliability of Myocontrol Using Formal Verification
2019-01-01 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
Repairing Learned Controllers with Convex Optimization: A Case Study
2019-01-01 Guidotti, Dario; Leofante, F.; Castellini, C.; Tacchella, A.
SMT-based Planning for Robots in Smart Factories
2019-01-01 Bit-Monnot, Arthur; Leofante, Francesco; Pulina, Luca; Tacchella, Armando
Engineering controllers for swarm robotics via reachability analysis in hybrid systems
2019-01-01 Leofante, F.; Schupp, S.; Abraham, E.; Tacchella, A.
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models
2019-01-01 Guidotti, D.; Leofante, Francesco; Pulina, L.; Tacchella, A.
Optimal Planning Modulo Theories
2020-01-01 Leofante, Francesco; Giunchiglia, Enrico; Ábráham, Erika; Tacchella, Armando
Optimal Planning Modulo Theories
2020-05-14 Leofante, Francesco
Robot Swarms as Hybrid Systems: Modelling and Verification
2021-01-01 Schupp, Stefan; Leofante, Francesco; Behr, Leander; Ábrahám, Erika; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Combining static and runtime methods to achieve safe standing-up for humanoid robots | 1-gen-2016 | Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils | |
| Learning in physical domains: Mating safety requirements and costly sampling | 1-gen-2016 | Leofante, Francesco; Tacchella, Armando | |
| On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories | 1-gen-2017 | Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando | |
| Task planning with OMT: An application to production logistics | 1-gen-2018 | Leofante, F.; Abraham, E.; Tacchella, A. | |
| Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics | 1-gen-2018 | Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando | |
| Improving Reliability of Myocontrol Using Formal Verification | 1-gen-2019 | Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C. | |
| Repairing Learned Controllers with Convex Optimization: A Case Study | 1-gen-2019 | Guidotti, Dario; Leofante, F.; Castellini, C.; Tacchella, A. | |
| SMT-based Planning for Robots in Smart Factories | 1-gen-2019 | Bit-Monnot, Arthur; Leofante, Francesco; Pulina, Luca; Tacchella, Armando | |
| Engineering controllers for swarm robotics via reachability analysis in hybrid systems | 1-gen-2019 | Leofante, F.; Schupp, S.; Abraham, E.; Tacchella, A. | |
| Verification and Repair of Neural Networks: A Progress Report on Convolutional Models | 1-gen-2019 | Guidotti, D.; Leofante, Francesco; Pulina, L.; Tacchella, A. | |
| Optimal Planning Modulo Theories | 1-gen-2020 | Leofante, Francesco; Giunchiglia, Enrico; Ábráham, Erika; Tacchella, Armando | |
| Optimal Planning Modulo Theories | 14-mag-2020 | Leofante, Francesco | |
| Robot Swarms as Hybrid Systems: Modelling and Verification | 1-gen-2021 | Schupp, Stefan; Leofante, Francesco; Behr, Leander; Ábrahám, Erika; Tacchella, Armando |
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