Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Brafman, R., & Hoffmann, J. (2004). Conformant Planning via Heuristic Forward Search: A New Approach. In Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004) (pp. 355-364). Menlo Park, USA: AAAI.