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

ArXi:2604.07042v1 Announce Type: new 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