Physical-based simulation for Mars Exploration Rover tactical sequencing | IEEE Conference Publication | IEEE Xplore