B. Bonet, H. Palacios, and H. Geffner, “Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners”, ICAPS, vol. 19, no. 1, pp. 34-41, Oct. 2009.