Multi-Agent Safety Verification using Symmetry Transformations

Sibai Hussein
Sibai Hussein
Mokhlesi Navid
Mokhlesi Navid
Cited by: 0|Bibtex|Views0|Links

Abstract:

We show that symmetry transformations and caching can enable scalable, and possibly unbounded, verification of multi-agent systems. Symmetry transformations map solutions and to other solutions. We show that this property can be used to transform cached reachsets to compute new reachsets, for hybrid and multi-agent models. We develop a ...More

Code:

Data:

Your rating :
0

 

Tags
Comments