Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. - Nicolò Arnaldi; Chiara Barone; Franco Fusco; Francesco Leofante; Armando Tacchella (AIRO@AI*IA, 2016)

Learning with Safety Requirements: State of the Art and Open Questions. - Francesco Leofante; Luca Pulina; Armando Tacchella (RCRA@AI*IA, 2016)

Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. - Francesco Leofante; Armando Tacchella (AI*IA, 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 001 (ISoLA (1), 2016)

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 (IRI, 2017)

Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories. - Francesco Leofante (AAAI, 2018)

Task Planning with OMT: An Application to Production Logistics. - Francesco Leofante; Erika Ábrahám; Armando Tacchella (IFM, 2018)

Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back). - Francesco Leofante (IJCAI, 2018)

Automated Verification of Neural Networks: Advances, Challenges and Perspectives. - Francesco Leofante; Nina Narodytska; Luca Pulina; Armando Tacchella (CoRR, 2018)

SMarTplan: a Task Planner for Smart Factories. - Arthur Bit-Monnot; Francesco Leofante; Luca Pulina; Erika Ábrahám; Armando Tacchella (CoRR, 2018)

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. - Dario Guidotti; Francesco Leofante; Luca Pulina; Armando Tacchella (AI*IA, 2019)

Repairing Learned Controllers with Convex Optimization: A Case Study. - Dario Guidotti; Francesco Leofante; Claudio Castellini; Armando Tacchella (CPAIOR, 2019)

Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments. - Dario Guidotti; Francesco Leofante (CPS Summer School, PhD Workshop, 2019)

Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. - Francesco Leofante; Stefan Schupp; Erika Ábrahám; Armando Tacchella (ECMS, 2019)

SMT-based Planning for Robots in Smart Factories. - Arthur Bit-Monnot; Francesco Leofante; Luca Pulina; Armando Tacchella (IEA/AIE, 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)

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 015 (ARCH, 2020)

Verification of Neural Networks: Enhancing Scalability Through Pruning. - Dario Guidotti; Francesco Leofante; Luca Pulina; Armando Tacchella (ECAI, 2020)

Optimal Planning Modulo Theories. - Francesco Leofante; Enrico Giunchiglia; Erika Ábrahám; Armando Tacchella (IJCAI, 2020)

Optimal Planning Modulo Theories. - Francesco Leofante (2020)

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 001 (FM, 2021)

Robot Swarms as Hybrid Systems: Modelling and Verification. - Stefan Schupp; Francesco Leofante; Leander Behr; Erika Ábrahám; Armando Tacchella (SNR, 2021)

Repairing misclassifications in neural networks using limited data. - Patrick Henriksen; Francesco Leofante; Alessio Lomuscio (SAC, 2022)

Formalising the Robustness of Counterfactual Explanations for Neural Networks. - Junqi Jiang; Francesco Leofante; Antonio Rago 001; Francesca Toni (AAAI, 2023)

Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation. - Junqi Jiang; Jianglin Lan; Francesco Leofante; Antonio Rago 001; Francesca Toni (ACML, 2023)

Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems. - Francesco Leofante; Alessio Lomuscio (AAMAS, 2023)

Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. - Francesco Leofante; Alessio Lomuscio (EUMAS, 2023)

Verification-friendly Networks: the Case for Parametric ReLUs. - Francesco Leofante; Patrick Henriksen; Alessio Lomuscio (IJCNN, 2023)

Verification of Semantic Key Point Detection for Aircraft Pose Estimation. - Panagiotis Kouvaros; Francesco Leofante; Blake Edwards; Calvin Chung; Dragos D. Margineantu; Alessio Lomuscio (KR, 2023)

Counterfactual Explanations and Model Multiplicity: a Relational Verification View. - Francesco Leofante; Elena Botoeva; Vineet Rajani (KR, 2023)

Recourse under Model Multiplicity via Argumentative Ensembling (Technical Report). - Junqi Jiang; Antonio Rago 001; Francesco Leofante; Francesca Toni (CoRR, 2023)

OMTPlan: A Tool for Optimal Planning Modulo Theories. - Francesco Leofante (J. Satisf. Boolean Model. Comput., 2023)

Promoting Counterfactual Robustness through Diversity. - Francesco Leofante; Nico Potyka (AAAI, 2024)

Recourse under Model Multiplicity via Argumentative Ensembling. - Junqi Jiang; Francesco Leofante; Antonio Rago 001; Francesca Toni (AAMAS, 2024)

Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations. - Luca Marzari; Francesco Leofante; Ferdinando Cicalese; Alessandro Farinelli (ECAI, 2024)

Robust Counterfactual Explanations in Machine Learning: A Survey. - Junqi Jiang; Francesco Leofante; Antonio Rago 001; Francesca Toni (IJCAI, 2024)

Contestable AI Needs Computational Argumentation. - Francesco Leofante; Hamed Ayoobi; Adam Dejl; Gabriel Freedman; Deniz Gorur; Junqi Jiang; Guilherme Paulino-Passos; Antonio Rago 001; Anna Rapberger; Fabrizio Russo 002; Xiang Yin 007; Dekai Zhang; et al. (KR, 2024)

Interval abstractions for robust counterfactual explanations. - Junqi Jiang; Francesco Leofante; Antonio Rago 001; Francesca Toni (Artif. Intell., 2024)

RobustX: Robust Counterfactual Explanations Made Easy. - Junqi Jiang; Luca Marzari; Aaryan Purohit; Francesco Leofante (CoRR, 2025)

Counterfactual Strategies for Markov Decision Processes. - Paul Kobialka; Lina Gerlach; Francesco Leofante; Erika Ábrahám; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (CoRR, 2025)

Argumentative Ensembling for Robust Recourse under Model Multiplicity. - Junqi Jiang; Antonio Rago 001; Francesco Leofante; Francesca Toni (CoRR, 2025)

Representation Consistency for Accurate and Coherent LLM Answer Aggregation. - Junqi Jiang; Tom Bewley; Salim I. Amoukou; Francesco Leofante; Antonio Rago 001; Saumitra Mishra; Francesca Toni (CoRR, 2025)

Explainable AI: definition and attributes of a good explanation for health AI. - Evangelia Kyrimi; Scott McLachlan; Jared M. Wohlgemut; Zane B. Perkins; David A. Lagnado; William Marsh 001; Alexander Gimson; Ali Shafti; Ari Ercole; Amitava Banerjee; Ben Glocker; Burkhard Schafer 001; et al. (AI Ethics, 2025)

Out-of-Distribution Detection using Counterfactual Distance. - Maria Stoica; Francesco Leofante; Alessio Lomuscio (CoRR, 2025)