TY - RPRT TI - Optimal Planning and Control under Signal Temporal Logic Specifications AU - Zuodong Pan AU - Xu Fang AU - Wei Ren PY - 2026 UR - https://arxiv.org/abs/2604.24107 ID - 2604.24107 ER -