Optimal Planning and Control under Signal Temporal Logic Specifications. - Zuodong Pan; Xu Fang; Wei Ren (CoRR, 2026)