Safety-constrained PDDL planning: physical safety encoded in action preconditions, verified by an independent simulator across 3 domains (numeric crushing, blocks-world, categorical fragility)
research pddl ai-safety automated-planning symbolic-ai safe-planning enhsp numeric-planning blocks-world
-
Updated
Aug 31, 2026 - Python