ATVA2019 Paper accepted!

My paper “Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification” with Navid Mokhlesi and Prof. Sayan Mitra has been accepted for publication in ATVA 2019 in Taipei City, Taiwan in October 27-31.