Francesco Leofante

Identifiers

No identifiers captured yet.

Papers (6)

1. Attribution-based Explanations for Markov Decision Processes cs.AI · 2026 · author #3
2. Evaluating Counterfactual Explanation Methods on Incomplete Inputs cs.AI · 2026 · author #1
3. Contestable AI needs Computational Argumentation cs.AI · 2024 · author #1
4. SMarTplan: a Task Planner for Smart Factories cs.AI · 2018 · author #2
5. Automated Verification of Neural Networks: Advances, Challenges and Perspectives cs.AI · 2018 · author #1
6. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories cs.AI · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Armando Tacchella 3 shared papers
• Erika \'Abrah\'am 2 shared papers
• Luca Pulina 2 shared papers
• Adam Dejl 1 shared papers
• Andrea Pferscher 1 shared papers
• Anna Rapberger 1 shared papers
• Antonio Rago 1 shared papers
• Arthur Bit-Monnot 1 shared papers
• Daniel Neider 1 shared papers
• Dekai Zhang 1 shared papers
• Deniz Gorur 1 shared papers
• Einar Broch Johnsen 1 shared papers
• Erika Abraham 1 shared papers
• Fabrizio Russo 1 shared papers
• Francesca Toni 1 shared papers
• Gabriel Freedman 1 shared papers
• Gerhard Lakemeyer 1 shared papers
• Guilherme Paulino-Passos 1 shared papers
• Hamed Ayoobi 1 shared papers
• Junqi Jiang 1 shared papers