Verifying Learning-Based Robotic Navigation Systems