Search papers, labs, and topics across Lattice.
This paper introduces "planning task shielding," a novel problem formulation where the goal is to modify a planning task to ensure a flawed state is unreachable, effectively making the task unsolvable. They present $allmin$, an optimal algorithm that achieves this by minimally modifying the original actions. Empirical evaluations demonstrate $allmin$'s effectiveness in shielding planning tasks of increasing complexity.
Turn your planner into a bug-finder: this work shows how to minimally modify planning tasks to expose and eliminate flaws by making the task provably unsolvable.
Most research in planning focuses on generating a plan to achieve a desired set of goals. However, a goal specification can also be used to encode a property that should never hold, allowing a planner to identify a trace that would reach a flawed state. In such cases, the objective may shift to modifying the planning task to ensure that the flawed state is never reached-in other words, to make the planning task unsolvable. In this paper we introduce planning task shielding: the problem of detecting and repairing flaws in planning tasks. We propose $allmin$, an optimal algorithm that solves these tasks by minimally modifying the original actions to render the planning task unsolvable. We empirically evaluate the performance of $allmin$ in shielding planning tasks of increasing size, showing how it can effectively shield the system by turning the planning task unsolvable.
