Abstract :
The past five years have seen dramatic advances in planning algorithms, with an emphasis on prepositional methods such as GRAPHPLAN and compilers that convert planning problems into prepositional conjunctive normal form formulas for solution using systematic or stochastic SAT methods. Related work, in the context of spacecraft control, advances our understanding of interleaved planning and execution. In this survey, I explain the latest techniques and suggest areas for future research.
