My paper “Multi-Agent Safety Verification using Symmetry Transformations” with Navid Mokhlesi, Chuchu Fan, and Sayan Mitra got accepted for publication in TACAS2020. Will be presenting it in Dublin, Ireland in April 25th-30th. [PDF][tool]
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.
Received the best poster/demo award in HSCC’18!
Submitted a paper titled “Reach-avoid games with unknown types with applications in safe human-robot interactions”- Joint work with Chuchu Fan
Our paper “State estimation for dynamical systems with unknown inputs: Entropy and bit rates” got accepted at HSCC’18.
Deposited my Master’s thesis with the title: “State Estimation of Switched Nonlinear Systems and Systems with Bounded Inputs: Entropy and Bit Rates”.