Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications

Qi Heng Ho, Roland Ilyes, Zachary Sunberg, Morteza Lahijanian

December, 2022