Francesco Leofante

62 papers A* 13A 4B 4C 4Misc 2Journal 25Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Probabilistically robust counterfactual explanations under model changes.
Artif. Intell.
Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
2025 J jnl
Argumentative Ensembling for Robust Recourse under Model Multiplicity.
CoRR
Junqi Jiang, Antonio Rago, Francesco Leofante, Francesca Toni
2025 A* conf
Counterfactual Explanations Under Model Multiplicity and Their Use in Computational Argumentation.
IJCAI
Gianvincenzo Alfano, Adam Gould, Francesco Leofante, Antonio Rago, Francesca Toni
2025 A* conf
Counterfactual Scenarios for Automated Planning.
KR
Nicola Gigante, Francesco Leofante, Andrea Micheli
2025 J jnl
Counterfactual Scenarios for Automated Planning.
CoRR
Nicola Gigante, Francesco Leofante, Andrea Micheli
2025 A* conf
Counterfactual Strategies for Markov Decision Processes.
IJCAI
Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025 J jnl
Counterfactual Strategies for Markov Decision Processes.
CoRR
Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025 J jnl
Explainable AI, energy and critical infrastructure systems.
AI Mag.
Francesco Leofante, André Artelt, Demetrios G. Eliades, Anna Korre, Francesca Toni, Tim Miller
2025 J jnl
Explainable AI: definition and attributes of a good explanation for health AI.
AI Ethics
Evangelia Kyrimi, Scott McLachlan, Jared M. Wohlgemut, Zane B. Perkins, David A. Lagnado, William Marsh, Alexander Gimson, Ali Shafti, Ari Ercole, Amitava Banerjee, Ben Glocker, Burkhard Schafer, Constantine Gatsonis, Crina Grosan, Danielle Sent, David S. Berman, David Glass, Declan P. O'Regan, Dimitrios Letsios, Dylan Morrissey, Erhan Pisirir, Francesco Leofante, Hamit Soyel, Jon Williamson, Keri Grieman, Kudakwashe Dube, Max Marsden, Myura Nagendran, Nigel Tai, Olga Kostopoulou, Owain Jones, Paul Curzon, Rebecca S. Stoner, Sankalp Tandle, Shalmali Joshi, Somayyeh Mossadegh, Stefan Buijsman, Tim Miller, Vince Istvan Madai
2025 — conf
Explaining reinforcement learning policies for power grid operations.
Ital-IA
Luca Marzari, Francesco Leofante, Enrico Marchesini
2025 J jnl
Out-of-Distribution Detection using Counterfactual Distance.
CoRR
Maria Stoica, Francesco Leofante, Alessio Lomuscio
2025 J jnl
Representation Consistency for Accurate and Coherent LLM Answer Aggregation.
CoRR
Junqi Jiang, Tom Bewley, Salim I. Amoukou, Francesco Leofante, Antonio Rago, Saumitra Mishra, Francesca Toni
2025 A* conf
RobustX: Robust Counterfactual Explanations Made Easy.
IJCAI
Junqi Jiang, Luca Marzari, Aaryan Purohit, Francesco Leofante
2025 J jnl
RobustX: Robust Counterfactual Explanations Made Easy.
CoRR
Junqi Jiang, Luca Marzari, Aaryan Purohit, Francesco Leofante
2025 J jnl
Synthesising Counterfactual Explanations via Label-Conditional Gaussian Mixture Variational Autoencoders.
CoRR
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
2024 A* conf
Contestable AI Needs Computational Argumentation.
KR
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
2024 J jnl
Contestable AI needs Computational Argumentation.
CoRR
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
2024 J jnl
Interval Abstractions for Robust Counterfactual Explanations.
CoRR
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
2024 J jnl
Interval abstractions for robust counterfactual explanations.
Artif. Intell.
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
2024 A* conf
Promoting Counterfactual Robustness through Diversity.
AAAI
Francesco Leofante, Nico Potyka
2024 A conf
Recourse under Model Multiplicity via Argumentative Ensembling.
AAMAS
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
2024 A conf
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations.
ECAI
Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
2024 J jnl
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations.
CoRR
Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
2024 A* conf
Robust Counterfactual Explanations in Machine Learning: A Survey.
IJCAI
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
2024 J jnl
Robust Counterfactual Explanations in Machine Learning: A Survey.
CoRR
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
2023 A* conf
Counterfactual Explanations and Model Multiplicity: a Relational Verification View.
KR
Francesco Leofante, Elena Botoeva, Vineet Rajani
2023 A* conf
Formalising the Robustness of Counterfactual Explanations for Neural Networks.
AAAI
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
2023 J jnl
OMTPlan: A Tool for Optimal Planning Modulo Theories.
J. Satisf. Boolean Model. Comput.
Francesco Leofante
2023 J jnl
Promoting Counterfactual Robustness through Diversity.
CoRR
Francesco Leofante, Nico Potyka
2023 C conf
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation.
ACML
Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni
2023 J jnl
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation.
CoRR
Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni
2023 J jnl
Recourse under Model Multiplicity via Argumentative Ensembling (Technical Report).
CoRR
Junqi Jiang, Antonio Rago, Francesco Leofante, Francesca Toni
2023 C conf
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification.
EUMAS
Francesco Leofante, Alessio Lomuscio
2023 A conf
Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems.
AAMAS
Francesco Leofante, Alessio Lomuscio
2023 A* conf
Verification of Semantic Key Point Detection for Aircraft Pose Estimation.
KR
Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio
2023 B conf
Verification-friendly Networks: the Case for Parametric ReLUs.
IJCNN
Francesco Leofante, Patrick Henriksen, Alessio Lomuscio
2022 J jnl
Formalising the Robustness of Counterfactual Explanations for Neural Networks.
CoRR
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
2022 Misc conf
Repairing misclassifications in neural networks using limited data.
SAC
Patrick Henriksen, Francesco Leofante, Alessio Lomuscio
2021 B conf
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain.
FM
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
2021 — conf
Robot Swarms as Hybrid Systems: Modelling and Verification.
SNR
Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella
2020 — conf
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
2020 A* conf
Optimal Planning Modulo Theories.
IJCAI
Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella
2020 — —
Optimal Planning Modulo Theories.
Francesco Leofante
2020 A conf
Verification of Neural Networks: Enhancing Scalability Through Pruning.
ECAI
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
2020 J jnl
Verification of Neural Networks: Enhancing Scalability through Pruning.
CoRR
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
2019 C conf
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.
ECMS
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella
2019 J jnl
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics.
Inf. Syst. Frontiers
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2019 — conf
Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments.
CPS Summer School, PhD Workshop
Dario Guidotti, Francesco Leofante
2019 B conf
Repairing Learned Controllers with Convex Optimization: A Case Study.
CPAIOR
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella
2019 C conf
SMT-based Planning for Robots in Smart Factories.
IEA/AIE
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella
2019 — conf
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models.
AI*IA
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
2018 J jnl
Automated Verification of Neural Networks: Advances, Challenges and Perspectives.
CoRR
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella
2018 A* conf
Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories.
AAAI
Francesco Leofante
2018 A* conf
Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back).
IJCAI
Francesco Leofante
2018 J jnl
SMarTplan: a Task Planner for Smart Factories.
CoRR
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella
2018 B conf
Task Planning with OMT: An Application to Production Logistics.
IFM
Francesco Leofante, Erika Ábrahám, Armando Tacchella
2017 Misc conf
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.
IRI
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2017 J jnl
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.
CoRR
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2016 — conf
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics.
AIRO@AI*IA
Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella
2016 — conf
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.
ISoLA (1)
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen
2016 — conf
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling.
AI*IA
Francesco Leofante, Armando Tacchella
2016 — conf
Learning with Safety Requirements: State of the Art and Open Questions.
RCRA@AI*IA
Francesco Leofante, Luca Pulina, Armando Tacchella