TY - RPRT TI - STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets AU - Nicola De Carli AU - Gregorio Marchesini AU - Dimos V. Dimarogonas PY - 2026 UR - https://arxiv.org/abs/2607.19196 ID - 2607.19196 ER -