Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations | IEEE Conference Publication | IEEE Xplore