A Non-Deterministic Planner for Planetary Rover Autonomy