| 2025 | IJCAI | Counterfactual Explanations Under Model Multiplicity and Their Use in Computational Argumentation. | Gianvincenzo Alfano, Adam Gould, Francesco Leofante, Antonio Rago, Francesca Toni |
| 2025 | IJCAI | RobustX: Robust Counterfactual Explanations Made Easy. | Junqi Jiang, Luca Marzari, Aaryan Purohit, Francesco Leofante |
| 2025 | IJCAI | Counterfactual Strategies for Markov Decision Processes. | Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika brahm, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2025 | KR | Counterfactual Scenarios for Automated Planning. | Nicola Gigante, Francesco Leofante, Andrea Micheli |
| 2024 | AAAI | Promoting Counterfactual Robustness through Diversity. | Francesco Leofante, Nico Potyka |
| 2024 | ECAI | Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations. | Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli |
| 2024 | IJCAI | Robust Counterfactual Explanations in Machine Learning: A Survey. | Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni |
| 2024 | KR | Contestable AI Needs Computational Argumentation. | Francesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman, Deniz Gorur, Junqi Jiang, Guilherme Paulino-Passos, Antonio Rago, Anna Rapberger, Fabrizio Russo, Xiang Yin, Dekai Zhang, Francesca Toni |
| 2023 | AAAI | Formalising the Robustness of Counterfactual Explanations for Neural Networks. | Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni |
| 2023 | ACML | Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation. | Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni |
| 2023 | EUMAS | Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. | Francesco Leofante, Alessio Lomuscio |
| 2023 | IJCNN | Verification-friendly Networks: the Case for Parametric ReLUs. | Francesco Leofante, Patrick Henriksen, Alessio Lomuscio |
| 2023 | KR | Verification of Semantic Key Point Detection for Aircraft Pose Estimation. | Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio |
| 2023 | KR | Counterfactual Explanations and Model Multiplicity: a Relational Verification View. | Francesco Leofante, Elena Botoeva, Vineet Rajani |
| 2022 | SAC | Repairing misclassifications in neural networks using limited data. | Patrick Henriksen, Francesco Leofante, Alessio Lomuscio |
| 2021 | FM | 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 |
| 2020 | ECAI | Verification of Neural Networks: Enhancing Scalability Through Pruning. | Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella |
| 2020 | IJCAI | Optimal Planning Modulo Theories. | Francesco Leofante, Enrico Giunchiglia, Erika brahm, Armando Tacchella |
| 2019 | CPAIOR | Repairing Learned Controllers with Convex Optimization: A Case Study. | Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella |
| 2019 | ECMS | Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. | Francesco Leofante, Stefan Schupp, Erika brahm, Armando Tacchella |
| 2018 | AAAI | Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories. | Francesco Leofante |
| 2018 | IJCAI | Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back). | Francesco Leofante |
| 2018 | IFM | Task Planning with OMT: An Application to Production Logistics. | Francesco Leofante, Erika brahm, Armando Tacchella |
| 2017 | IRI | On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. | Francesco Leofante, Erika brahm, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella |
| 2016 | ISoLA | Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. | Francesco Leofante, Simone Vuotto, Erika brahm, Armando Tacchella, Nils Jansen |