TY  - RPRT
TI  - Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
AU  - Han Wang
AU  - Antonis Papachristodoulou
AU  - Kostas Margellos
PY  - 2025
DO  - 10.1016/j.automatica.2025.112393
UR  - https://arxiv.org/abs/2303.12610
ID  - 2303.12610
ER  -