Automatic Derivation of Finite-State Machines for Behavior Control.

Blai Bonet, Hctor Palacios, Hector Geffner

Browse the full AAAI paper archive.