Navid Mokhlesi
- Multi-Agent Safety Verification using Symmetry Transformations
2019/11/01 by Hussein Sibai, Sibai, Hussein, Navid Mokhlesi +5 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Testing and Debugging Techniques #Symbolic Computation (cs.SC) #Systems and Control (eess.SY) #electronic engineering #information engineering