Bonet, B.; Palacios, H.; Geffner, H. Automatic Derivation of Finite-State Machines for Behavior Control. AAAI 2010, 24, 1656-1659.