Multi-RobotCollisionAvoidanceunder Uncertainty withProbabilisticSafetyBarrierCertificates