TY  - RPRT
TI  - Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
AU  - Qi Heng Ho
AU  - Roland B. Ilyes
AU  - Zachary N. Sunberg
AU  - Morteza Lahijanian
PY  - 2022
UR  - https://arxiv.org/abs/2207.03662
ID  - 2207.03662
ER  -