Navid Mokhlesi

According to our database, Navid Mokhlesi authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Multi-agent Safety Verification Using Symmetry Transformations.

Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

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

Hussein Sibai, Navid Mokhlesi, Sayan Mitra

Proceedings of the Automated Technology for Verification and Analysis, 2019