Navid Mokhlesi

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 3

Top Topics

Safety Analysis

Dynamical Systems

Bilateral Symmetry

Leader Follower

Top Venues

Publications

Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) (2020)
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
Multi-Agent Safety Verification using Symmetry Transformations. CoRR (2019)
Hussein Sibai, Navid Mokhlesi, Sayan Mitra
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA (2019)