STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets

Part of

Autonomous Multi-Agent Collision Scheduling