Login / Signup
Automatic Derivation of Finite-State Machines for Behavior Control.
Blai Bonet
Héctor Palacios
Hector Geffner
Published in:
AAAI (2010)
Keyphrases
</>
finite state machines
cellular automaton
finite state automata
model checking
state transition
control system
fully automatic
regular expressions
digital circuits
control method
human behavior
robot behavior
databases
control strategy
hidden markov models
reinforcement learning
high level