GUARANTEED ROBOTIC PLANNING AND EXPLORATION IN UNKNOWN ENVIRONMENTS