Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications

Qi Heng Ho, Roland Ilyes, Zachary Sunberg, Morteza Lahijanian
December, 2022
DOI
Type
Conference paper
Publication
2022 IEEE 61st Conference on Decision and Control (CDC)