Multi-Agent Safety Verification using Symmetry Transformations.
Hussein SibaiNavid MokhlesiChuchu FanSayan MitraPublished in: CoRR (2019)
Keyphrases
- multi agent
- safety analysis
- model checking
- cooperative
- symmetry detection
- formal methods
- multi agent systems
- multiagent systems
- safety critical
- agent oriented
- intelligent agents
- verification method
- formal verification
- american football
- oriented programming
- heterogeneous agents
- signature verification
- software agents
- reinforcement learning
- image sequences
- symmetry breaking
- coalition formation
- genetic algorithm
- machine learning
- bilateral symmetry
- leader follower
- data sets