Multi-agent planning system for spacecraft | IEEE Conference Publication | IEEE Xplore