Integrated planning and execution for autonomous spacecraft | IEEE Journals & Magazine | IEEE Xplore