{"id":"arxiv/2604.04245","url":"https://arxiv.org/abs/2604.04245","tags":["math.OC"],"score":0,"title":"Smooth and Exact Parameterization of Continuous-time Signal Temporal Logic Specifications for Trajectory Optimization","domain":"math.OC","source":"arxiv","authors":["Samet Uzun","Behçet Açıkmeşe"],"reviews":0,"subject":"math.OC","summary":"This paper presents a smooth parameterization of continuous-time Signal Temporal Logic (CT-STL) specifications for nonconvex trajectory optimization that is sound and complete up to the accuracy of the underlying numerical integration scheme. CT-STL provides a natural framework for encoding rich temporal and logical task requirements, but existing trajectory-optimization formulations typically enforce such specifications only at discrete sampling nodes. In contrast, the proposed method evaluates specifications in dense time, thereby guaranteeing continuous-time satisfaction of always…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-05","reactions":{}}