RT DW A1 Vincent, Joseph Anthony. T1 Formal and Statistical Evaluation of Robotic Systems with Learned Components