Francesco Leofante


I moved to Imperial College London.

Please visit my new webpage.


(Old) Publications

DownloadLinkFrancesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella. Automated Verification of Neural Networks: Advances, Challenges and Perspectives. Verification of Neural Networks (VNN19), AAAI Spring Symposia, , 2019.
DOIDario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Improving Reliability of Myocontrol Using Formal Verification. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 2019.
DOIDario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Repairing Learned Controllers with Convex Optimization: a Case Study. Proceedings of Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), , 2019.
DOIArthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella. SMT-based Planning for Robots in Smart Factories. International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE), , 2019.
Stefan Schupp, Francesco Leofante, Erika Abraham, Armando Tacchella. Engineeering Controllers for Swarm Robotics via Reachability Analysis in Hybrid Systems. European Conference on Modelling and Simulation (ECMS), , 2019.
DOIFrancesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Information Systems Frontiers 21(1), pages 87–107, 2019.
Show all

Selected Talks

DownloadLinkErika Abraham, Francesco Leofante. SMT Solving for AI Planning: Theory, Tools and Applications, Tutorial at the 28th International Conference on Automated Planning and Scheduling (ICAPS-18), Delft, the Netherlands, 25 Jun, 2018.
DownloadLinkFrancesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories, 32nd AAAI Conference on Artificial Intelligence (AAAI-18) at New Orleans, USA, 2018.
DownloadLinkFrancesco Leofante. Optimal Multi-robot Task Planning with SMT, Invited Talk at Photogrammetry and Robotics Lab, University of Bonn, Germany, 2018.
DownloadLinkFrancesco Leofante. Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back), 27th International Joint Conference on Artificial Intelligence (IJCAI-18) at Stockholm, Sweden, 2018.
DownloadLinkFrancesco Leofante. Task Planning with OMT: an Application to Production Logistics, International Conference on integrated Formal Methods (IFM-18) at Maynooth, Ireland, 2018.
DownloadLinkFrancesco Leofante. Robust AI via Verification, Monitoring and Repair, Invited talk at PUMA research training group at Chair for Foundations of Software Reliability and Theoretical Computer Science, Technical University of Munich, Germany, 2017.
DownloadLinkFrancesco Leofante. Optimizing the Performance of Robot Fleets in Production Logistics Scenarios Using SMT Solving, ICT Foundations of Digitized Industry, Economy, and Society Workshop at RWTH Aachen University, Aachen, Germany, 2017.
DownloadLinkFrancesco Leofante. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories, Talk at 18th IEEE International Conference on Information Reuse and Integration, San Diego, USA, 2017.
DownloadLinkFrancesco Leofante. Are You Doing What I Think You Are Doing? Optimal Controllers and Beyond, Talk at Israel Institute for Advanced Studies, Jerusalem, 2017.
DownloadLinkErika Abraham, Francesco Leofante. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots, Invited talk at the 7th International Symposium on Leveraging Applications of Formal Methods (ISoLA'16), Verification and Validation, Corfu, Greece, 10-14 Oct, 2016.