TY - RPRT TI - Scalable Tube-Tightened Multi-Agent Safety via Certified Constraint Reduction AU - Armel Koulong PY - 2026 UR - https://arxiv.org/abs/2608.25323 ID - 2608.25323 ER -