Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction.
Panagiotis KouvarosAlessio LomuscioPublished in: AAAI (2017)
Keyphrases
- multi agent systems
- bounded model checking
- inter agent
- model checking
- hardware designs
- cooperative
- formal verification
- autonomous agents
- multi agent
- face verification
- agent systems
- temporal logic
- game theory
- software agents
- first order logic
- distributed problem solving
- high level
- multiagent systems
- agent oriented
- coalition formation
- data sets
- agent technology
- complex systems
- intelligent agents
- trust model
- signature verification
- agent architecture
- asynchronous circuits
- verification method
- concurrent systems
- agent platform
- low level
- database