Distributed safe control design and probabilistic safety verification for multi-agent systems - Wang, H; Papachristodoulou, A; Margellos, K (Automatica, 2025)