MAPGEN: mixed-initiative planning and scheduling for the Mars Exploration Rover mission | IEEE Journals & Magazine | IEEE Xplore