Task planning and simulation platform for on-orbit service multi-robot system | IEEE Conference Publication | IEEE Xplore