Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification.

Hussein Sibai, Navid Mokhlesi, Sayan Mitra

Browse the full ATVA paper archive.