Hune, Thomas S., and Anders B. Sandholm. “Using Automata in Control Synthesis. A Case Study”. BRICS Report Series 7, no. 22 (September 1, 2000). Accessed November 21, 2024. https://tidsskrift.dk/brics/article/view/20149.