Systematic Constraint Formulation and Collision-Free Trajectory Planning Using Space-Time Graphs of Convex Sets. - Matthew D. Osburn; Cameron K. Peterson; John L. Salmon (CoRR, 2025)