TY  - RPRT
TI  - Multi-Agent Safety Verification using Symmetry Transformations
AU  - Hussein Sibai
AU  - Navid Mokhlesi
AU  - Chuchu Fan
AU  - Sayan Mitra
PY  - 2019
UR  - https://arxiv.org/abs/1911.00608
ID  - 1911.00608
ER  -