1. Geffner, H., Bonet, B.: A concise introduction to models and methods for automated planning. Synth. Lect. Artif. Intell. Mach. Learn. 8(1), 1–141 (2013)
2. Bonet, B., Geffner, H.: Belief tracking for planning with sensing: Width, complexity and approximations. J. Artif. Intell. Res. 50, 923–970 (2014)
3. Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229–264 (2002)
4. McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL – The Planning Domain Definition Language – Version 1.2. Technical Report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control, Yale University (1998)
5. Hoffmann, J., Nebel, B.: The FF planning system: Fast plan generation through heuristic search. J. Artif. Intell. Res. 14, 253–302 (2001)