@article{4bfdc782651f4345b0a7a35879777a79,
title = "Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications",
keywords = "Autonomous systems, numerical algorithms, predictive control for nonlinear systems",
author = "Vince Kurtz and Hai Lin",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.",
year = "2021",
month = oct,
doi = "10.1109/LCSYS.2020.3038640",
language = "English",
volume = "5",
pages = "1429--1434",
journal = "IEEE Control Systems Letters",
issn = "2475-1456",
number = "4",
}