SMT-based Safety Verification of Parameterised Multi-Agent Systems.
Paolo FelliAlessandro GianolaMarco MontaliPublished in: CoRR (2020)
Keyphrases
- multi agent systems
- safety analysis
- multi agent
- agent architecture
- model checking
- intelligent agents
- game theory
- autonomous agents
- agent systems
- face verification
- safety critical
- cooperative
- formal methods
- bounded model checking
- multi agent reinforcement learning
- verification method
- computational logic
- coalition formation
- neural network
- signature verification
- cryptographic protocols
- multiagent systems
- asynchronous circuits