Multi-agent Safety Verification Using Symmetry Transformations.
Hussein SibaiNavid MokhlesiChuchu FanSayan MitraPublished in: TACAS (1) (2020)
Keyphrases
- multi agent
- safety analysis
- cooperative
- intelligent agents
- model checking
- multi agent systems
- reinforcement learning
- heterogeneous agents
- multiagent systems
- formal methods
- concurrent systems
- safety critical
- face verification
- single agent
- cooperative agents
- bilateral symmetry
- signature verification
- symmetry detection
- agent communication
- cognitive agents
- symmetry breaking
- artificial intelligence
- coalition formation
- oriented programming
- autonomous agents
- american football
- traffic signal control