Francesco Leofante

According to our database, Francesco Leofante authored at least 34 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Robust Counterfactual Explanations in Machine Learning: A Survey.

Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni

CoRR, 2024

Promoting Counterfactual Robustness through Diversity.

Francesco Leofante, Nico Potyka

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

OMTPlan: A Tool for Optimal Planning Modulo Theories.

Francesco Leofante

J. Satisf. Boolean Model. Comput., January, 2023

Recourse under Model Multiplicity via Argumentative Ensembling (Technical Report).

Junqi Jiang, Antonio Rago, Francesco Leofante, Francesca Toni

CoRR, 2023

Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation.

Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni

CoRR, 2023

Counterfactual Explanations and Model Multiplicity: a Relational Verification View.

Francesco Leofante, Elena Botoeva, Vineet Rajani

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Verification of Semantic Key Point Detection for Aircraft Pose Estimation.

Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Verification-friendly Networks: the Case for Parametric ReLUs.

Francesco Leofante, Patrick Henriksen, Alessio Lomuscio

Proceedings of the International Joint Conference on Neural Networks, 2023

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

Francesco Leofante, Alessio Lomuscio

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

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

Francesco Leofante, Alessio Lomuscio

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Formalising the Robustness of Counterfactual Explanations for Neural Networks.

Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Repairing misclassifications in neural networks using limited data.

Patrick Henriksen, Francesco Leofante, Alessio Lomuscio

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Robot Swarms as Hybrid Systems: Modelling and Verification.

Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

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

Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Optimal Planning Modulo Theories.

Francesco Leofante

PhD thesis, 2020

Optimal Planning Modulo Theories.

Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Verification of Neural Networks: Enhancing Scalability Through Pruning.

Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

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

Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella

Inf. Syst. Frontiers, 2019

SMT-based Planning for Robots in Smart Factories.

Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.

Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella

Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments.

Dario Guidotti, Francesco Leofante

Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019

Repairing Learned Controllers with Convex Optimization: A Case Study.

Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

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

Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

SMarTplan: a Task Planner for Smart Factories.

Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella

CoRR, 2018

Automated Verification of Neural Networks: Advances, Challenges and Perspectives.

Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella

CoRR, 2018

Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back).

Francesco Leofante

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Task Planning with OMT: An Application to Production Logistics.

Francesco Leofante, Erika Ábrahám, Armando Tacchella

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories.

Francesco Leofante

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.

Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016

Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.

Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Learning in Physical Domains: Mating Safety Requirements and Costly Sampling.

Francesco Leofante, Armando Tacchella

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Learning with Safety Requirements: State of the Art and Open Questions.

Francesco Leofante, Luca Pulina, Armando Tacchella

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 Intelligence (AI*IA 2016), 2016

Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics.

Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella

Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016