Distributed safe control design and probabilistic safety verification for multi-agent systems (Automatica, 2025)

(untitled) - Wang, H; Papachristodoulou, A; Margellos, K