14 citations · 20 across the 10 of their papers we have counts for
Showing 2026 · math.OCShow all
2 papers · 2 filters
math.OC2026
Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications
Samet Uzun, Behçet Açıkmeşe
This paper presents a successive convexification framework for trajectory optimization under continuous-time Signal Temporal Logic (CT-STL) specifications. The framework employs ge…
math.OC2026
Smooth and Exact Parameterization of Continuous-time Signal Temporal Logic Specifications for Trajectory Optimization
Samet Uzun, Behçet Açıkmeşe
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 t…