A Case Study on Using Automata in Control Synthesis

@inproceedings{Hune2000ACS,
  title={A Case Study on Using Automata in Control Synthesis},
  author={Thomas Hune and Anders Sandholm},
  booktitle={FASE},
  year={2000}
}