Personal information

United Kingdom

Activities

Employment (3)

Imperial College London: London, London, GB

2022-08-01 to present | Imperial College Research Fellow (Department of Computing)
Employment
Source: Self-asserted source
Francesco Leofante

Imperial College London: London, London, GB

2020-05-14 to 2022-07-31 | Research Associate (Department of Computing)
Employment
Source: Self-asserted source
Francesco Leofante

Imperial College London: London, GB

2019-10-28 to 2020-05-14 | Research Assistant (Computing)
Employment
Source: Self-asserted source
Francesco Leofante

Education and qualifications (4)

RWTH Aachen University: Aachen, Nordrhein-Westfalen, DE

2015 to 2019 | Ph.D. (Department of Computer Science)
Education
Source: Self-asserted source
Francesco Leofante

Università degli Studi di Genova: Genoa, IT

2013 to 2015 | MSc in Robotics Engineering
Education
Source: Self-asserted source
Francesco Leofante

Ecole Centrale de Nantes: Nantes, FR

2013 to 2015 | MRes in Advanced Robotics
Education
Source: Self-asserted source
Francesco Leofante

Università degli Studi di Genova: Genoa, IT

2010 to 2013 | BSc in Electrical Engineering
Education
Source: Self-asserted source
Francesco Leofante

Funding (1)

Contrust: Robust Contrastive Explanations for Deep Neural Networks

2022-08 to 2026-07 | Award
Imperial College London (London, GB)
Source: Self-asserted source
Francesco Leofante

Works (29)

Interval abstractions for robust counterfactual explanations

Artificial Intelligence
2024-11 | Journal article
Contributors: Junqi Jiang; Francesco Leofante; Antonio Rago; Francesca Toni
Source: check_circle
Crossref

Formalising the Robustness of Counterfactual Explanations for Neural Networks

Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023
2023 | Conference paper
URI:

https://ojs.aaai.org/index.php/AAAI/article/view/26740

Contributors: Junqi Jiang and Francesco Leofante and Antonio Rago and Francesca Toni; Brian Williams and Yiling Chen and Jennifer Neville
Source: Self-asserted source
Francesco Leofante

OMTPlan: A Tool for Optimal Planning Modulo Theories

J. Satisf. Boolean Model. Comput.
2023 | Journal article
Contributors: Francesco Leofante
Source: Self-asserted source
Francesco Leofante

Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification

2023 | Book chapter
Contributors: Francesco Leofante; Alessio Lomuscio
Source: check_circle
Crossref

Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023
2023 | Conference paper
Contributors: Francesco Leofante and Alessio Lomuscio; Noa Agmon and Bo An and Alessandro Ricci and William Yeoh
Source: Self-asserted source
Francesco Leofante

Robust Explainable AI: the Case of Counterfactual Explanations

2023-10-24 | Preprint
Contributors: Francesco Leofante
Source: check_circle
Crossref

Robot Swarms as Hybrid Systems: Modelling and Verification

The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
2022-07-14 | Conference paper
Part of ISSN: 2075-2180
Contributors: Stefan Schupp; Francesco Leofante; Leander Behr; Erika Ábrahám; Armando Taccella
Source: Self-asserted source
Francesco Leofante

Repairing misclassifications in neural networks using limited data

Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
2022-04-25 | Conference paper
Contributors: Patrick Henriksen; Francesco Leofante; Alessio Lomuscio
Source: Self-asserted source
Francesco Leofante

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain

Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
2021 | Conference paper
Source: Self-asserted source
Francesco Leofante

Optimal planning modulo theories

IJCAI International Joint Conference on Artificial Intelligence
2020 | Conference paper
EID:

2-s2.0-85097351267

Part of ISSN: 10450823
Contributors: Leofante, F.; Giunchiglia, E.; Ábrahám, E.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Verification of neural networks: Enhancing scalability through pruning

Frontiers in Artificial Intelligence and Applications
2020 | Book
EID:

2-s2.0-85091758042

Part of ISSN: 09226389
Contributors: Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Engineering controllers for swarm robotics via reachability analysis in hybrid systems

Proceedings - European Council for Modelling and Simulation, ECMS
2019 | Conference paper
EID:

2-s2.0-85068796678

Contributors: Leofante, F.; Schupp, S.; Abraham, E.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Improving Reliability of Myocontrol Using Formal Verification

IEEE Transactions on Neural Systems and Rehabilitation Engineering
2019 | Journal article
EID:

2-s2.0-85064611838

Contributors: Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Repair of convolutional neural networks using convex optimization: Preliminary experiments

CEUR Workshop Proceedings
2019 | Conference paper
EID:

2-s2.0-85073263456

Part of ISSN: 16130073
Contributors: Guidotti, D.; Leofante, F.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Repairing Learned Controllers with Convex Optimization: A Case Study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85066871841

Contributors: Guidotti, D.; Leofante, F.; Castellini, C.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

SMT-based planning for robots in smart factories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85068612445

Contributors: Bit-Monnot, A.; Leofante, F.; Pulina, L.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

SMT-based Planning for Robots in Smart Factories

Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Proceedings
2019 | Conference paper
Contributors: Arthur Bit-Monnot and Francesco Leofante and Luca Pulina and Armando Tacchella; Franz Wotawa and Gerhard Friedrich and Ingo Pill and Roxane Koitz-Hristov and Moonis Ali
Source: Self-asserted source
Francesco Leofante

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85076768274

Part of ISSN: 16113349 03029743
Contributors: Guidotti, D.; Leofante, F.; Pulina, L.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics

Information Systems Frontiers
2019-02-19 | Journal article
Contributors: Francesco Leofante; Erika Ábrahám; Tim Niemueller; Gerhard Lakemeyer; Armando Tacchella
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Automated verification of neural networks: Advances, challenges and perspectives

arXiv
2018 | Other
EID:

2-s2.0-85093773921

Part of ISSN: 23318422
Contributors: Leofante, F.; Narodytska, N.; Pulina, L.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Guaranteed plans for multi-robot systems via optimization modulo theories

32nd AAAI Conference on Artificial Intelligence, AAAI 2018
2018 | Conference paper
EID:

2-s2.0-85055686917

Contributors: Leofante, F.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Optimal Multi-robot Task Planning: From synthesis to execution (and back)

IJCAI International Joint Conference on Artificial Intelligence
2018 | Conference paper
EID:

2-s2.0-85055680798

Contributors: Leofante, F.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Planning as satisfiability for cyber-physical systems

CEUR Workshop Proceedings
2018 | Conference paper
EID:

2-s2.0-85053802260

Contributors: Leofante, F.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Task planning with OMT: An application to production logistics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
EID:

2-s2.0-85053111266

Contributors: Leofante, F.; Ábrahám, E.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Autonomous driving and undergraduates: An affordable setup for teaching robotics

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85019644378

Contributors: Arnaldi, N.; Barone, C.; Fusco, F.; Leofante, F.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories

Proceedings - 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017
2017 | Conference paper
EID:

2-s2.0-85044225592

Contributors: Leofante, F.; Ábrahám, E.; Niemueller, T.; Lakemeyer, G.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Combining static and runtime methods to achieve safe standing-up for humanoid robots

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-84993990117

Contributors: Leofante, F.; Vuotto, S.; Ábrahám, E.; Tacchella, A.; Jansen, N.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Learning in physical domains: Mating safety requirements and costly sampling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-85006077954

Contributors: Leofante, F.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Learning with safety requirements: State of the art and open questions

CEUR Workshop Proceedings
2016 | Conference paper
EID:

2-s2.0-85006321356

Contributors: Leofante, F.; Pulina, L.; Tacchella, A.
Source: Self-asserted source
Francesco Leofante via Scopus - Elsevier

Peer review (3 reviews for 1 publication/grant)

Review activity for Machine learning. (3)