Provably-Correct Task Planning for Autonomous Outdoor Robots