default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancesco Leofante
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j3]Junqi Jiang
, Francesco Leofante, Antonio Rago, Francesca Toni:
Interval abstractions for robust counterfactual explanations. Artif. Intell. 336: 104218 (2024)- [c30]Francesco Leofante, Nico Potyka:
Promoting Counterfactual Robustness through Diversity. AAAI 2024: 21322-21330 - [c29]Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni:
Recourse under Model Multiplicity via Argumentative Ensembling. AAMAS 2024: 954-963 - [c28]Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli:
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations. ECAI 2024: 1059-1066 - [c27]Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni:
Robust Counterfactual Explanations in Machine Learning: A Survey. IJCAI 2024: 8086-8094 - [i12]Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni:
Robust Counterfactual Explanations in Machine Learning: A Survey. CoRR abs/2402.01928 (2024) - [i11]Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni:
Interval Abstractions for Robust Counterfactual Explanations. CoRR abs/2404.13736 (2024) - [i10]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 abs/2405.10729 (2024) - [i9]Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli:
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations. CoRR abs/2407.07482 (2024) - 2023
- [j2]Francesco Leofante:
OMTPlan: A Tool for Optimal Planning Modulo Theories. J. Satisf. Boolean Model. Comput. 14(1): 17-23 (2023) - [c26]Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni:
Formalising the Robustness of Counterfactual Explanations for Neural Networks. AAAI 2023: 14901-14909 - [c25]Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni:
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation. ACML 2023: 582-597 - [c24]Francesco Leofante, Alessio Lomuscio:
Towards Robust Contrastive Explanations for Human-Neural Multi-agent Systems. AAMAS 2023: 2343-2345 - [c23]Francesco Leofante, Alessio Lomuscio:
Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification. EUMAS 2023: 244-262 - [c22]Francesco Leofante, Patrick Henriksen, Alessio Lomuscio:
Verification-friendly Networks: the Case for Parametric ReLUs. IJCNN 2023: 1-9 - [c21]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: 757-762 - [c20]Francesco Leofante, Elena Botoeva, Vineet Rajani:
Counterfactual Explanations and Model Multiplicity: a Relational Verification View. KR 2023: 763-768 - [i8]Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni:
Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation. CoRR abs/2309.12545 (2023) - [i7]Francesco Leofante, Nico Potyka:
Promoting Counterfactual Robustness through Diversity. CoRR abs/2312.06564 (2023) - [i6]Junqi Jiang, Antonio Rago, Francesco Leofante, Francesca Toni:
Recourse under Model Multiplicity via Argumentative Ensembling (Technical Report). CoRR abs/2312.15097 (2023) - 2022
- [c19]Patrick Henriksen, Francesco Leofante, Alessio Lomuscio:
Repairing misclassifications in neural networks using limited data. SAC 2022: 1031-1038 - [i5]Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni:
Formalising the Robustness of Counterfactual Explanations for Neural Networks. CoRR abs/2208.14878 (2022) - 2021
- [c18]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: 730-740 - [c17]Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella:
Robot Swarms as Hybrid Systems: Modelling and Verification. SNR 2021: 61-77 - 2020
- [b1]Francesco Leofante:
Optimal Planning Modulo Theories. University of Genoa, Italy, 2020 - [c16]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: 107-139 - [c15]Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI 2020: 2505-2512 - [c14]Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella:
Optimal Planning Modulo Theories. IJCAI 2020: 4128-4134 - [i4]Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR abs/2003.07636 (2020)
2010 – 2019
- 2019
- [j1]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): 87-107 (2019) - [c13]Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA 2019: 405-417 - [c12]Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella:
Repairing Learned Controllers with Convex Optimization: A Case Study. CPAIOR 2019: 364-373 - [c11]Dario Guidotti, Francesco Leofante:
Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments. CPS Summer School, PhD Workshop 2019: 18-28 - [c10]Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella:
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS 2019: 407-413 - [c9]Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella:
SMT-based Planning for Robots in Smart Factories. IEA/AIE 2019: 674-686 - 2018
- [c8]Francesco Leofante:
Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories. AAAI 2018: 8020-8021 - [c7]Francesco Leofante, Erika Ábrahám, Armando Tacchella:
Task Planning with OMT: An Application to Production Logistics. IFM 2018: 316-325 - [c6]Francesco Leofante:
Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back). IJCAI 2018: 5771-5772 - [i3]Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella:
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR abs/1805.09938 (2018) - [i2]Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella:
SMarTplan: a Task Planner for Smart Factories. CoRR abs/1806.07135 (2018) - 2017
- [c5]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: 403-410 - [i1]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 abs/1711.04259 (2017) - 2016
- [c4]Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella:
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. AIRO@AI*IA 2016: 5-9 - [c3]Francesco Leofante, Luca Pulina, Armando Tacchella:
Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA 2016: 11-25 - [c2]Francesco Leofante, Armando Tacchella:
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA 2016: 539-552 - [c1]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: 496-514
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 20:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
