Dynamic Programming Approach to Multi-Agent Spacecraft Formation Trajectory Planning | IEEE Conference Publication | IEEE Xplore