B. Bonet, H. Palacios, and H. Geffner, “Automatic Derivation of Finite-State Machines for Behavior Control”, AAAI, vol. 24, no. 1, pp. 1656–1659, Jul. 2010.