Vince Kurtz, Hai Lin 0002. Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. In 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021. pages 1999-2004, IEEE, 2021. [doi]
Abstract is missing.