SE(3) Based LTV-MPC Algorithm for Multi-Obstacle Trajectory Tracking of Fully Driven Spacecraft | IEEE Journals & Magazine | IEEE Xplore