Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates - Luo, Wenhao; Sun, Wen; Kapoor, Ashish (Advances in Neural Information Processing Systems, 2020)