| Automated Verification of Neural Networks: Advances, Challenges and Perspectives F Leofante, N Narodytska, L Pulina, A Tacchella arXiv preprint arXiv:1805.09938, 2018 | 49 | 2018 |
| Integrated synthesis and execution of optimal plans for multi-robot systems in logistics F Leofante, E Ábrahám, T Niemueller, G Lakemeyer, A Tacchella Information Systems Frontiers 21 (1), 87-107, 2019 | 17 | 2019 |
| On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories F Leofante, E Abrahám, T Niemueller, G Lakemeyer, A Tacchella IEEE International Conference on Information Reuse and Integration 2017 (IRI), 2017 | 14 | 2017 |
| Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization T Niemueller, G Lakemeyer, F Leofante, E Abraham PlanRob@ICAPS'17, 2017 | 12 | 2017 |
| Learning in physical domains: mating safety requirements and costly sampling F Leofante, A Tacchella Conference of the Italian Association for Artificial Intelligence, 539-552, 2016 | 9 | 2016 |
| Improving reliability of myocontrol using Formal Verification D Guidotti, F Leofante, A Tacchella, C Castellini IEEE Transactions on Neural Systems and Rehabilitation Engineering 27 (4 …, 2019 | 8 | 2019 |
| Task Planning with OMT: An Application to Production Logistics F Leofante, E Ábrahám, A Tacchella International Conference on Integrated Formal Methods, 316-325, 2018 | 6 | 2018 |
| Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories F Leofante Proceedings of AAAI'18, 2018 | 5 | 2018 |
| Combining static and runtime methods to achieve safe standing-up for humanoid robots F Leofante, S Vuotto, E Ábrahám, A Tacchella, N Jansen International Symposium on Leveraging Applications of Formal Methods, 496-514, 2016 | 5 | 2016 |
| SMT-based Planning for Robots in Smart Factories A Bit-Monnot, F Leofante, L Pulina, A Tacchella International Conference on Industrial, Engineering and Other Applications …, 2019 | 4 | 2019 |
| Repairing Learned Controllers with Convex Optimization: A Case Study D Guidotti, F Leofante, C Castellini, A Tacchella International Conference on Integration of Constraint Programming …, 2019 | 4 | 2019 |
| Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back) F Leofante Proceedings of IJCAI'18, 2018 | 4 | 2018 |
| Verification of Neural Networks: Enhancing Scalability through Pruning D Guidotti, F Leofante, L Pulina, A Tacchella Proceedings of ECAI'20, 2020 | 3 | 2020 |
| Learning with safety requirements: state of the art and open questions F Leofante, L Pulina, A Tacchella International Workshop on Experimental Evaluation of Algorithms for Solving …, 2016 | 3 | 2016 |
| Optimal Planning Modulo Theories F Leofante, E Giunchiglia, E Abrahám, A Tacchella Proceedings of IJCAI'20, 4128--4134, 2020 | 2 | 2020 |
| Engineering Controllers for Swarm Robotics via Reachability Analysis in Hybrid Systems F Leofante, S Schupp, E Abraham, A Tacchella ECMS International Conference on Modelling and Simulation, 2019 | 2 | 2019 |
| ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants TT Johnson, DM Lopez, P Musau, HD Tran, E Botoeva, F Leofante, ... EPiC Series in Computing 74, 107-139, 2020 | 1 | 2020 |
| Verification and repair of neural networks: a progress report on convolutional models D Guidotti, F Leofante, L Pulina, A Tacchella International Conference of the Italian Association for Artificial …, 2019 | 1 | 2019 |
| Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics N Arnaldi, C Barone, F Fusco, F Leofante, A Tacchella Italian Workshop on Artificial Intelligence and Robotics, 2016 | 1 | 2016 |
Armando TacchellaProfessor, Information Processing Systems, University of GenoaEmail verificata su unige.it
