collaborators

1 paper

cs.FL2019

Multi-Agent Safety Verification using Symmetry Transformations

Hussein Sibai, Navid Mokhlesi, Chuchu Fan +1

We show that symmetry transformations and caching can enable scalable, and possibly unbounded, verification of multi-agent systems. Symmetry transformations map solutions and to ot…