A Case Study on Using Automata in Control Synthesis.

Thomas Hune Anders Sandholm

Published in: FASE (2000)

Keyphrases

program synthesis
control system
cellular automata
finite state
control strategies
control problems
data sets
data mining
control theory