no code implementations • 8 Jul 2022 • Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications.