@inproceedings{Ho:CDC:2022,
  title={Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications},
  author={Qi Heng Ho and Roland B. Ilyes and Zachary Sunberg and Morteza Lahijanian},
  booktitle={IEEE Conference on Decision and Control (CDC)},
  url={https://arxiv.org/abs/2207.03662},
  publisher={IEEE},
  year={2022},
  pages={},
  address = {Cancun, Mexico},
  month = {Dec.},
  note={(to appear)},
}