Francesco Leofante

my_face

Email
leofante at cs.rwth-aachen.de
Phone
+49 241 80 21243
Address
Room 4228
Ahornstraße 55
D-52074 Aachen

 

Research

Hi!

I am a 3rd year Ph.D. student in Computer Science working under the supervision of Erika Ábrahám and Armando Tacchella. My research focuses on SMT-based solutions for planning (and applications thereof). Broadly speaking, my research interests revolve around AI and robotics.

Projects

I am currently involved in the following project(s):

You can  also find  me on DBLP and Google Scholar.

Publications

2018
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, 2018.
Stefan Schupp, Francesco Leofante, Erika Abraham, Armando Tacchella. Robot Swarms as Hybrid Systems. Proceedings 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2018, , 2018.
Francesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories. Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018, , 2018.
DownloadFrancesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella. Automated Verification of Neural Networks: Advances, Challenges and Perspectives. Technical report at RWTH Aachen University number , 2018.
Francesco Leofante, Erika Abraham, Armando Tacchella. Task Planning with OMT: an Application to Production Logistics. Proceedings of the 14th International Conference on integrated Formal Methods, Volume of LNCS, Springer, 2018.
DOIFrancesco Leofante. Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back). Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 5771–5772, , 2018.
2017
DownloadTim Niemueller, Gerhard Lakemeyer, Francesco Leofante, Erika Abraham. Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization. 5th Workshop on Planning and Robotics at ICAPS, , 2017.
LinkFrancesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017, pages 403–410, IEEE Computer Society, 2017.
Show all

Selected Talks

2018
DownloadFrancesco Leofante. Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories, 32nd AAAI Conference on Artificial Intelligence (AAAI-18) at New Orleans, 2018.
DownloadFrancesco Leofante. Optimal Multi-robot Task Planning with SMT, Invited Talk at Photogrammetry and Robotics Lab, University of Bonn, Germany, 2018.
DownloadFrancesco Leofante. Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back), 27th International Joint Conference on Artificial Intelligence (IJCAI-18) at Stockholm, 2018.
DownloadErika 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) at Delft, NL, 2018.
2017
DownloadFrancesco 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.
DownloadFrancesco 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.
DownloadFrancesco 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.
DownloadFrancesco Leofante. Are You Doing What I Think You Are Doing? Optimal Controllers and Beyond, Talk at Israel Institute for Advanced Studies, Jerusalem, 2017.
2016
DownloadErika 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, 2016.