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

I am currently working towards my Ph.D. in Computer Science under the supervision of Prof. Erika Ábrahám and Prof. Armando Tacchella.

My research, carried out within a joint program between RWTH Aachen University and University of Genoa, deals with formal modeling and verification of robotic systems.

My research interests include:

  • Formal modelling of robotic systems
  • Synthesis of safe strategies (via, e.g., SMT solving, Reinforcement Learning…)
  • Repair of faulty models/strategies
  • Online monitoring of deployed strategies

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

You can  also find  me on DBLP and Google Scholar.

Publications

2016
DOIFrancesco 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.
DOIFrancesco 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.
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.
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

Selected Talks

2017
DownloadFrancesco Leofante. Are you doing what I think you are doing? 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.
Francesco Leofante. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories, The 5th IEEE International Workshop on Formal Methods Integration at the 18th IEEE International Conference on Information Reuse and Integration at San Diego, USA, 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.
DownloadFrancesco Leofante, Erika Abraham. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots, Presentation at 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16) at Corfu, Greece, 2016.