A Probabilistic Framework for Collision Probability Estimation and an Analysis of the Discretization Precision | IEEE Conference Publication | IEEE Xplore