Yuanqi Mao Gave a Talk at Space InterAgencies G&C V&V Workshop

Successive Convexification with Signal Temporal Logic Specifications for Spacecraft Rendezvous, by Yuanqi Mao, Alexandre Chapoutot, and Behçet Açıkmeşe.