Yuanqi Mao Gave a Talk at Space InterAgencies G&C V&V Workshop
Successive Convexification with Signal Temporal Logic Specifications for Spacecraft Rendezvous
Successive Convexification with Signal Temporal Logic Specifications for Spacecraft Rendezvous