Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications | IEEE Conference Publication | IEEE Xplore