No. 22 (2000): RS-22 Using Automata in Control Synthesis. A Case Study

Published: 2000-01-22

Articles