Policy-Based Design of Human-Machine Collaboration in Manned Space Missions | IEEE Conference Publication | IEEE Xplore