Multi-agent Safety Verification Using Symmetry Transformations.

Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra

Browse the full TACAS paper archive.