Efficient Probabilistic Collision Detection for Non-Gaussian Noise Distributions | IEEE Journals & Magazine | IEEE Xplore