Hune, T. S., & Sandholm, A. B. (2000). Using Automata in Control Synthesis. A Case Study. BRICS Report Series, 7(22). https://doi.org/10.7146/brics.v7i22.20149