Robust Asynchronous Planning via Auto-Formalization
The paper unified asynchronous planning challenges and tested three methods for generating plans: direct generation, PDDL2.1 formalization, and CP-SAT formalization. It found that representation choice is key to scaling; CP-SAT formalization significantly outperforms other methods as task complexity grows. Robust planning relies on reliably writing and editing the correct formal specification from natural language.