1.
Hune TS, Sandholm AB. Using Automata in Control Synthesis. A Case Study. BRICS [Internet]. 2000 Sep. 1 [cited 2024 Mar. 28];7(22). Available from: https://tidsskrift.dk/brics/article/view/20149