Publications

Publications for Francesco Leofante

2019
DownloadLink
[bibtex]
Francesco 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.
DOI
[bibtex]
Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Improving Reliability of Myocontrol Using Formal Verification. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 2019.
DOI
[bibtex]
Dario 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.
DOI
[bibtex]
Arthur 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.
DOI
[bibtex]
Francesco Leofante, Stefan Schupp, Erika Abraham, Armando Tacchella. Engineeering Controllers for Swarm Robotics via Reachability Analysis in Hybrid Systems. 33rd International ECMS European Conference on Modelling and Simulation (ECMS'19), pages 407–413, European Council for Modeling and Simulation, 2019.
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 21(1), pages 87–107, 2019.
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.
Link
[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.
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.
Link
[bibtex]
Francesco Leofante, Erika Abraham, Armando Tacchella. Task Planning with OMT: an Application to Production Logistics. Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18), Volume 483 of Research report, pages 7, University of Oslo, 2018.
2017
DOILink
[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.
DownloadLink
[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.
2016
DOI
[bibtex]
Francesco Leofante, Simone Vuotto, Erika Abraham, Armando Tacchella, Nils Jansen. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Part I, Volume 9952 of LNCS, pages 496-514, Springer International Publishing, 2016.
DOI
[bibtex]
Francesco Leofante, Armando Tacchella. Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings, Volume 10037 of LNCS, pages 539–552, Springer, 2016.
Link
[bibtex]
Francesco Leofante, Luca Pulina, Armando Tacchella. Learning with Safety Requirements: State of the Art and Open Questions. Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial, Volume 1745 of CEUR Workshop Proceedings, pages 11–25, CEUR-WS.org, 2016.
Link
[bibtex]
Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella. Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics - A workshop of the XV International Conference of the Italian Association for Artificial Intelligence, AIRO@AI*IA 2016, Genova, Italy, November 28, 2016., Volume 1834 of CEUR Workshop Proceedings, pages 5–9, CEUR-WS.org, 2016.