Merging Planning and Verification Techniques for "Safe Planning" in Space Robotics