Demonstrations of System-Level Autonomy for Spacecraft | IEEE Conference Publication | IEEE Xplore