"A Case Study on Using Automata in Control Synthesis."

Thomas Hune, Anders Sandholm (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics