A Pontryagin-based NMPC approach for autonomous rendez-vous proximity operations | IEEE Conference Publication | IEEE Xplore