LEOFANTE, FRANCESCO

LEOFANTE, FRANCESCO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.018 secondi).
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
Engineering controllers for swarm robotics via reachability analysis in hybrid systems 1-gen-2019 Leofante, F.; Schupp, S.; Abraham, E.; Tacchella, A.
Improving Reliability of Myocontrol Using Formal Verification 1-gen-2019 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
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
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
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
Repairing Learned Controllers with Convex Optimization: A Case Study 1-gen-2019 Guidotti, Dario; Leofante, F.; Castellini, C.; Tacchella, A.
Robot Swarms as Hybrid Systems: Modelling and Verification 1-gen-2021 Schupp, Stefan; Leofante, Francesco; Behr, Leander; Ábrahám, Erika; Tacchella, Armando
SMT-based Planning for Robots in Smart Factories 1-gen-2019 Bit-Monnot, Arthur; Leofante, Francesco; Pulina, Luca; Tacchella, Armando
Task planning with OMT: An application to production logistics 1-gen-2018 Leofante, F.; 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.