Review for NeurIPS paper: Multi-Robot Collision Avoidance under Uncertainty with Probabilistic Safety Barrier Certificates