Gael Luna

Motion Planning with Precedence Specifications Via Augmented Graphs of Convex Sets

We present an algorithm for planning trajectories that avoid obstacles and satisfy key-door precedence specifi- cations expressed with a fragment of signal temporal logic. Our method includes a novel exact convex partitioning of the obstacle free space that encodes connectivity among convex free spa…