Parameterised verification for multi-agent systems.
Panagiotis KouvarosAlessio LomuscioPublished in: Artif. Intell. (2016)
Keyphrases
- multi agent systems
- autonomous agents
- multi agent
- model checking
- complex systems
- agent systems
- face verification
- cooperative
- bounded model checking
- game theory
- formal verification
- agent oriented
- verification method
- neural network
- signature verification
- agent platform
- coalition logic
- single agent
- formal methods
- coalition formation
- software agents
- intelligent agents
- multiagent systems
- distributed problem solving
- multi agent environment
- concurrent systems
- decision trees
- information systems
- functional verification
- real time
- inter agent