@misc{indiciaee4006bdf41ec,
  title = {Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications},
  author = {Qi Heng Ho and Roland B. Ilyes and Zachary N. Sunberg and Morteza Lahijanian},
  year = {2022},
  url = {https://arxiv.org/abs/2207.03662},
  note = {Source identifier: 2207.03662}
}