Exact and Bounded Collision Probability for Motion Planning Under Gaussian Uncertainty | IEEE Journals & Magazine | IEEE Xplore