Publications

Publications for Francesco Leofante

2018
DOI
[bibtex]
Francesco 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, pages 1-21, 2018.

[bibtex]
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.

[bibtex]
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.
Download
[bibtex]
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella. Automated Verification of Neural Networks: Advances, Challenges and Perspectives. Technical report at RWTH Aachen University number , 2018.
DOI
[bibtex]
Francesco 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.
DOI
[bibtex]
Francesco Leofante, Erika Abraham, Armando Tacchella. Task Planning with OMT: An Application to Production Logistics. Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pages 316–325, , 2018.
2017
Link
[bibtex]
Francesco 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.
Download
[bibtex]
Tim Niemueller, Gerhard Lakemeyer, Francesco Leofante, Erika Abraham. Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization. Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017), , 2017.
Show all