Return to Article Details Using Automata in Control Synthesis. A Case Study Download Download PDF