Buchumschlag

Planning Task Shielding: Detecting and Repairing Flaws in Planning Tasks through Turning them Unsolvable

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pozanco, Alberto, Morales, Marianela, Totis, Pietro, Borrajo, Daniel
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Unveiling Interesting Insights: Monte Carlo Tree Search for Knowledge Discovery
von: Totis, Pietro, et al.
Veröffentlicht: (2025)

A Planning Compilation to Reason about Goal Achievement at Planning Time
von: Pozanco, Alberto, et al.
Veröffentlicht: (2025)

Planning with Minimal Disruption
von: Pozanco, Alberto, et al.
Veröffentlicht: (2025)

Counterfactual Reasoning in Automated Planning
von: Pozanco, Alberto, et al.
Veröffentlicht: (2026)

On Learning Action Costs from Input Plans
von: Morales, Marianela, et al.
Veröffentlicht: (2024)

On Computing Plans with Uniform Action Costs
von: Pozanco, Alberto, et al.
Veröffentlicht: (2024)

GenPlanX. Generation of Plans and Execution
von: Borrajo, Daniel, et al.
Veröffentlicht: (2025)

Projection Abstractions in Planning Under the Lenses of Abstractions for MDPs
von: Canonaco, Giuseppe, et al.
Veröffentlicht: (2024)

Generalising Planning Environment Redesign
von: Pozanco, Alberto, et al.
Veröffentlicht: (2024)

Semantic Partial Grounding via LLMs
von: Canonaco, Giuseppe, et al.
Veröffentlicht: (2026)

TRIP-PAL: Travel Planning with Guarantees by Combining Large Language Models and Automated Planners
von: de la Rosa, Tomas, et al.
Veröffentlicht: (2024)

Intelligent Execution through Plan Analysis
von: Borrajo, Daniel, et al.
Veröffentlicht: (2024)

On the Sample Efficiency of Abstractions and Potential-Based Reward Shaping in Reinforcement Learning
von: Canonaco, Giuseppe, et al.
Veröffentlicht: (2024)

GenePlan: Evolving Better Generalized PDDL Plans using Large Language Models
von: Murray, Andrew, et al.
Veröffentlicht: (2026)

Contrastive Explanations of Centralized Multi-agent Optimization Solutions
von: Zehtabi, Parisa, et al.
Veröffentlicht: (2023)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
von: Ramani, Keshav, et al.
Veröffentlicht: (2025)

Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
von: Cornelio, Cristina, et al.
Veröffentlicht: (2025)

The Subset Sum Matching Problem
von: Wu, Yufei, et al.
Veröffentlicht: (2025)

Beyond Itinerary Planning-A Real-World Benchmark for Multi-Turn and Tool-Using Travel Tasks
von: Cheng, Xiang, et al.
Veröffentlicht: (2025)

Preprint: Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems
von: Sarwar, Mir Md Sajid, et al.
Veröffentlicht: (2025)

Beyond Entangled Planning: Task-Decoupled Planning for Long-Horizon Agents
von: Li, Yunfan, et al.
Veröffentlicht: (2026)

Learning the Boundary of Solvability: Aligning LLMs to Detect Unsolvable Problems
von: Peng, Dengyun, et al.
Veröffentlicht: (2025)

Beyond Task and Motion Planning: Hierarchical Robot Planning with General-Purpose Skills
von: Hedegaard, Benned, et al.
Veröffentlicht: (2025)

Hierarchical Task Network Planning with LLM-Generated Heuristics
von: Meneguzzi, Felipe, et al.
Veröffentlicht: (2026)

STRUCTUREDAGENT: Planning with AND/OR Trees for Long-Horizon Web Tasks
von: Lobo, ELita, et al.
Veröffentlicht: (2026)

Safe POMDP Online Planning via Shielding
von: Sheng, Shili, et al.
Veröffentlicht: (2023)

Spatially Grounded Long-Horizon Task Planning in the Wild
von: Jung, Sehun, et al.
Veröffentlicht: (2026)

Robot Task Planning and Situation Handling in Open Worlds
von: Ding, Yan, et al.
Veröffentlicht: (2022)

Plan Verification for LLM-Based Embodied Task Completion Agents
von: Hariharan, Ananth, et al.
Veröffentlicht: (2025)

Can Large Reasoning Models Improve Accuracy on Mathematical Tasks Using Flawed Thinking?
von: Amjith, Saraswathy, et al.
Veröffentlicht: (2025)

Vision-Language Interpreter for Robot Task Planning
von: Shirai, Keisuke, et al.
Veröffentlicht: (2023)

PARTNR: A Benchmark for Planning and Reasoning in Embodied Multi-agent Tasks
von: Chang, Matthew, et al.
Veröffentlicht: (2024)

Interpretable Responsibility Sharing as a Heuristic for Task and Motion Planning
von: Yenicesu, Arda Sarp, et al.
Veröffentlicht: (2024)

Grounded Vision-Language Interpreter for Integrated Task and Motion Planning
von: Siburian, Jeremy, et al.
Veröffentlicht: (2025)

Vision-Language-Policy Model for Dynamic Robot Task Planning
von: Wang, Jin, et al.
Veröffentlicht: (2025)

A Framework for Task and Motion Planning based on Expanding AND/OR Graphs
von: Mastrogiovanni, Fulvio, et al.
Veröffentlicht: (2025)

Experience-based Refinement of Task Planning Knowledge in Autonomous Robots
von: Jazzaa, Hadeel, et al.
Veröffentlicht: (2025)

Application of LLMs to Multi-Robot Path Planning and Task Allocation
von: Kumar, Ashish
Veröffentlicht: (2025)

LLM-Driven Self-Refinement for Embodied Drone Task Planning
von: Zhang, Deyu, et al.
Veröffentlicht: (2025)