G. Konidaris, L. Kaelbling, and T. Lozano-Perez, “Constructing Symbolic Representations for High-Level Planning”, AAAI, vol. 28, no. 1, Jun. 2014.