3 papers
eess.SY2026
A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets
Shilin You, Gael Luna, Tyler H. Summers
We present a framework for planning trajectories that avoid obstacles and satisfy logical precedence constraints expressed with a fragment of signal temporal logic (STL). Our appro…
eess.SY2026
Augmented Graphs of Convex Sets and the Traveling Salesman Problem
Gael Luna, Tyler Summers
We present a trajectory optimization algorithm for the traveling salesman problem (TSP) in graphs of convex sets (GCS). Our framework uses an augmented graph of convex sets to enco…
eess.SY2026
Motion Planning with Precedence Specifications via Augmented Graphs of Convex Sets
Shilin You, Gael Luna, Juned Shaikh +4
We present an algorithm for planning trajectories that avoid obstacles and satisfy key-door precedence specifications expressed with a fragment of signal temporal logic. Our method…