Attitude Maneuver Planning of Satellite for On-orbit Service with Spherical Geometric Constraints | IEEE Conference Publication | IEEE Xplore