Publications

Publications for Francesco Leofante

2019
Download
[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.

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

[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.
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.
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.
Link
[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.
Show all