Proving the Safety of Motion Estimation Algorithms: a Confidence Interval Approach | IEEE Conference Publication | IEEE Xplore