Robust Safety Assurance for Robotic Swarms Using Decentralized Collision Verification. - Grant Phillips; Hoang-Dung Tran; Justin M. Bradley (IEEE Trans. Aerosp. Electron. Syst., 2026)