中文译名待补

2026-07-21

本条只有题录，尚未完成分析。中文译名与技术分析分别验收；以下原文入口不代表已审阅。

原文与来源

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