{"id":"arxiv/2606.06896","url":"https://arxiv.org/abs/2606.06896","tags":["math.OC"],"score":0,"title":"Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications","domain":"math.OC","source":"arxiv","authors":["Samet Uzun","Behçet Açıkmeşe"],"reviews":0,"subject":"math.OC","summary":"This paper presents a successive convexification framework for trajectory optimization under continuous-time Signal Temporal Logic (CT-STL) specifications. The framework employs generalized mean-based robustness (GMSR), a smooth and exact parameterization of discrete-time STL, as a logical building block for constructing differentiable CT-STL constraints in optimal control. It is integrated with time-dilation for free-final-time problems, finite-dimensional control parameterization, multiple-shooting discretization of the dynamics, and a convergence-guaranteed sequential convex programming…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-05","reactions":{}}