Assuring Safety Under Uncertainty in Learning-Based Control Systems