:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gigante, Nicola, Leofante, Francesco, Micheli, Andrea
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2508.21521
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating Counterfactual Explanation Methods on Incomplete Inputs
by: Leofante, Francesco, et al.
Published: (2026)

Out-of-Distribution Detection using Counterfactual Distance
by: Stoica, Maria, et al.
Published: (2025)

Interval Abstractions for Robust Counterfactual Explanations
by: Jiang, Junqi, et al.
Published: (2024)

Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
by: Marzari, Luca, et al.
Published: (2024)

RobustX: Robust Counterfactual Explanations Made Easy
by: Jiang, Junqi, et al.
Published: (2025)

Robust Counterfactual Explanations in Machine Learning: A Survey
by: Jiang, Junqi, et al.
Published: (2024)

Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation
by: Jiang, Junqi, et al.
Published: (2023)

Counterfactual Strategies for Markov Decision Processes
by: Kobialka, Paul, et al.
Published: (2025)

Counterfactual Reasoning in Automated Planning
by: Pozanco, Alberto, et al.
Published: (2026)

Recourse under Model Multiplicity via Argumentative Ensembling (Technical Report)
by: Jiang, Junqi, et al.
Published: (2023)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
by: Micheli, Andrea, et al.
Published: (2026)

Platform-Aware Mission Planning
by: Panjkovic, Stefan, et al.
Published: (2025)

Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance using Reinforcement Learning
by: Brugnara, Irene, et al.
Published: (2025)

Argumentative Ensembling for Robust Recourse under Model Multiplicity
by: Jiang, Junqi, et al.
Published: (2025)

A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements
by: Tosello, Elisa, et al.
Published: (2024)

Controller Synthesis for Timeline-based Games
by: Acampora, Renato, et al.
Published: (2023)

Attribution-based Explanations for Markov Decision Processes
by: Kobialka, Paul, et al.
Published: (2026)

Interleaving Scheduling and Motion Planning with Incremental Learning of Symbolic Space-Time Motion Abstractions
by: Tosello, Elisa, et al.
Published: (2026)

A first-order logic characterization of safety and co-safety languages
by: Cimatti, Alessandro, et al.
Published: (2022)

SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation
by: Chowdhury, Jaid Monwar, et al.
Published: (2026)

Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)

Robust Counterfactual Inference in Markov Decision Processes
by: Lally, Jessica, et al.
Published: (2025)

Counterfactual Influence in Markov Decision Processes
by: Kazemi, Milad, et al.
Published: (2024)

On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)
by: Pallagani, Vishal, et al.
Published: (2024)

Wasserstein Distributionally Robust Bayesian Optimization with Continuous Context
by: Micheli, Francesco, et al.
Published: (2025)

Fast and Realistic Automated Scenario Simulations and Reporting for an Autonomous Racing Stack
by: Lambertini, Giovanni, et al.
Published: (2025)

Counterfactual Concept Bottleneck Models
by: Dominici, Gabriele, et al.
Published: (2024)

Conformal Predictive Monitoring for Multi-Modal Scenarios
by: Cairoli, Francesca, et al.
Published: (2025)

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation
by: Alfano, Gianvincenzo, et al.
Published: (2024)

Causally Steered Diffusion for Automated Video Counterfactual Generation
by: Spyrou, Nikos, et al.
Published: (2025)

Test Automation for Interactive Scenarios via Promptable Traffic Simulation
by: Mondelli, Augusto, et al.
Published: (2025)

Automated Prompt Generation for Creative and Counterfactual Text-to-image Synthesis
by: Jelaca, Aleksa, et al.
Published: (2025)

Grounding Language Plans in Demonstrations Through Counterfactual Perturbations
by: Wang, Yanwei, et al.
Published: (2024)

Adapting Reinforcement Learning for Path Planning in Constrained Parking Scenarios
by: Tao, Feng, et al.
Published: (2026)

LLM-Generated Counterfactual Stress Scenarios for Portfolio Risk Simulation via Hybrid Prompt-RAG Pipeline
by: Soleimani, Masoud
Published: (2025)

Dynamic Tree Databases in Automated Planning
by: Joergensen, Oliver, et al.
Published: (2025)

Automated Creation of the Legal Knowledge Graph Addressing Legislation on Violence Against Women: Resource, Methodology and Lessons Learned
by: dAmato, Claudia, et al.
Published: (2025)

No-Regret Learning Under Adversarial Resource Constraints: A Spending Plan Is All You Need!
by: Stradi, Francesco Emanuele, et al.
Published: (2025)

Generating Critical Scenarios for Testing Automated Driving Systems
by: Nguyen, Trung-Hieu, et al.
Published: (2024)

Contestable AI needs Computational Argumentation
by: Leofante, Francesco, et al.
Published: (2024)