Risk Clearance with Guaranteed Precision. - Ryan McBride; Ke Wang; Viswanadh Nekkanti; Wenyuan Li (SDM, 2017)