Publications

Publications for Francesco Leofante

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.

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

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