Summary
Hi there!
I am post-doc in the Verification of Autonomous Systems group at Imperial College London. My research concerns the verification of learning-enabled systems within the DARPA Assured Autonomy Program.
Before joining Imperial, I was a PhD student with the Theory of Hybrid Systems group at RWTH Aachen University and with the AIMS Laboratory at the University of Genoa. During my PhD I developed new algorithms for automated planning via Optimization Modulo Theories.
You might want to check out my personal web page to get a better picture of what I’ve done professionally so far.
Publications
Journals
Guidotti D, Leofante F, Tacchella A, et al. , 2019, Improving Reliability of Myocontrol Using Formal Verification, Ieee Transactions on Neural Systems and Rehabilitation Engineering, Vol:27, ISSN:1534-4320, Pages:564-571
Leofante F, Abraham E, Niemueller T, et al. , 2019, Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, Information Systems Frontiers, Vol:21, ISSN:1387-3326, Pages:87-107
Conference
Leofante F, Giunchiglia E, Ábrahám E, et al. , 2020, Optimal planning modulo theories, Pages:4128-4134, ISSN:1045-0823
Guidotti D, Leofante F, Pulina L, et al. , 2020, Verification of Neural Networks: Enhancing Scalability Through Pruning., IOS Press, Pages:2505-2512
Bit-Monnot A, Leofante F, Pulina L, et al. , 2019, SMT-based Planning for Robots in Smart Factories, 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE), SPRINGER INTERNATIONAL PUBLISHING AG, Pages:674-686, ISSN:0302-9743