Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving | IEEE Conference Publication | IEEE Xplore