Imperial College London

DrFrancescoLeofante

Faculty of EngineeringDepartment of Computing

Research Associate
 
 
 
//

Contact

 

f.leofante Website

 
 
//

Location

 

575Huxley BuildingSouth Kensington Campus

//

Summary

 

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

Guidotti D, Leofante F, Pulina L, et al., 2020, Verification of Neural Networks: Enhancing Scalability Through Pruning., IOS Press, Pages:2505-2512

Leofante F, Giunchiglia E, Ábrahám E, et al., 2020, Optimal Planning Modulo Theories., ijcai.org, Pages:4128-4134

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

More Publications