Summary
I am a researcher affiliated with the Centre for Explainable AI and the Computational Logic and Argumentation group at Imperial College. My research largely focuses on safe & explainable AI, with special emphasis on contrastive explanations and their robustness. My work is currently supported by an Imperial College Research Fellowship.
Before, I was research associate in the Verification of Autonomous Systems group at Imperial College. I obtained a PhD in Computer Science from RWTH Aachen University and UNIGE with a thesis on AI Planning.
You might want to check out my CV to get a better picture of what I’ve done professionally so far.
Publications
Conference
Jiang J, Leofante F, Rago A, et al., Formalising the Robustness of Counterfactual Explanations for Neural Networks, The 37th AAAI Conference on Artificial Intelligence
Schupp S, Leofante F, Behr L, et al., 2022, Robot swarms as hybrid systems: modelling and verification, Open Publishing Association, Pages:61-77, ISSN:2075-2180
Henriksen P, Leofante F, Lomuscio A, 2022, Repairing misclassifications in neural networks using limited data, SAC '22, Pages:1031-1038
Kouvaros P, Kyono T, Leofante F, et al., 2021, Formal analysis of neural network-based systems in the aircraft domain, International Symposium on Formal Methods, Springer International Publishing, Pages:730-740, ISSN:0302-9743
Leofante F, Giunchiglia E, Abraham E, et al., 2021, Optimal Planning Modulo Theories, 29th International Joint Conference on Artificial Intelligence, IJCAI-INT JOINT CONF ARTIF INTELL, Pages:4128-4134