chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Mokhlesi, Navid
2020
Sibai, Hussein
Mokhlesi, Navid
Fan, Chuchu
Mitra, Sayan
Multi-agent safety verification using symmetry transformations
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
