Analytic Collision Risk Calculation for Autonomous Vehicle Navigation | IEEE Conference Publication | IEEE Xplore