Probabilistic Collision Avoidance For Multiple Robots: A Closed Form PDF Approach | IEEE Conference Publication | IEEE Xplore