Optimization-based trajectory generation with linear temporal logic specifications | IEEE Conference Publication | IEEE Xplore