Hune TS, Sandholm AB. Using Automata in Control Synthesis. A Case Study. BRICS [Internet]. 1. september 2000 [henvist 5. december 2025];7(22). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20149