STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets figure
AlphaXiv 中文概览(可滚动查看)