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

arXiv:2604.07042v2 Announce Type: replace Abstract: 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...