Francesco Leofante

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 42

Top Topics

Modulo Theories

Technical Report

Top Venues

Publications

Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations. CoRR (2024)
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
Recourse under Model Multiplicity via Argumentative Ensembling. AAMAS (2024)
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
Contestable AI needs Computational Argumentation. CoRR (2024)
Francesco Leofante, Nico Potyka
Promoting Counterfactual Robustness through Diversity. AAAI (2024)
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
Interval Abstractions for Robust Counterfactual Explanations. CoRR (2024)
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
Robust Counterfactual Explanations in Machine Learning: A Survey. CoRR (2024)
Francesco Leofante, Alessio Lomuscio
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. EUMAS (2023)
Junqi Jiang, Antonio Rago, Francesco Leofante, Francesca Toni
Recourse under Model Multiplicity via Argumentative Ensembling (Technical Report). CoRR (2023)
Francesco Leofante, Nico Potyka
Promoting Counterfactual Robustness through Diversity. CoRR (2023)
Francesco Leofante, Patrick Henriksen, Alessio Lomuscio
Verification-friendly Networks: the Case for Parametric ReLUs. IJCNN (2023)
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
Formalising the Robustness of Counterfactual Explanations for Neural Networks. AAAI (2023)
Francesco Leofante
OMTPlan: A Tool for Optimal Planning Modulo Theories. J. Satisf. Boolean Model. Comput. 14 (1) (2023)
Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation. CoRR (2023)
Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation. ACML (2023)
Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio
Verification of Semantic Key Point Detection for Aircraft Pose Estimation. KR (2023)
Francesco Leofante, Elena Botoeva, Vineet Rajani
Counterfactual Explanations and Model Multiplicity: a Relational Verification View. KR (2023)
Francesco Leofante, Alessio Lomuscio
Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems. AAMAS (2023)
Patrick Henriksen, Francesco Leofante, Alessio Lomuscio
Repairing misclassifications in neural networks using limited data. SAC (2022)
Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni
Formalising the Robustness of Counterfactual Explanations for Neural Networks. CoRR (2022)
Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella
Robot Swarms as Hybrid Systems: Modelling and Verification. SNR (2021)
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM (2021)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR (2020)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI (2020)
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2020)
Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella
Optimal Planning Modulo Theories. IJCAI (2020)
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella
SMT-based Planning for Robots in Smart Factories. IEA/AIE (2019)
Dario Guidotti, Francesco Leofante
Verification and Repair of Neural Networks: a Progress Report on Convolutional Models. CPS Summer School, PhD Workshop (2019)
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS (2019)
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella
Repairing Learned Controllers with Convex Optimization: A Case Study. CPAIOR (2019)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA (2019)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Inf. Syst. Frontiers 21 (1) (2019)
Francesco Leofante
Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back). IJCAI (2018)
Francesco Leofante, Erika Ábrahám, Armando Tacchella
Task Planning with OMT: An Application to Production Logistics. IFM (2018)
Francesco Leofante
Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories. AAAI (2018)
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella
SMarTplan: a Task Planner for Smart Factories. CoRR (2018)
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR (2018)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR (2017)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI (2017)
Francesco Leofante, Armando Tacchella
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA (2016)
Francesco Leofante, Luca Pulina, Armando Tacchella
Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA (2016)
Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. AIRO@AI*IA (2016)
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) (2016)