Title: Assuring Safe Operation of Robotic Systems under Uncertainty