Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian. Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 3243-3249, IEEE, 2022. [doi]
Abstract is missing.