Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. - Hussein Sibai; Navid Mokhlesi; Sayan Mitra (ATVA, 2019)

Multi-agent Safety Verification Using Symmetry Transformations. - Hussein Sibai; Navid Mokhlesi; Chuchu Fan; Sayan Mitra (TACAS (1), 2020)