Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications.
Alessio LomuscioJakub MichaliszynPublished in: AAMAS (2016)
Keyphrases
- bounded model checking
- multi agent systems
- model checking
- formal verification
- inter agent
- concurrent systems
- temporal logic
- cooperative
- automated verification
- multi agent
- high level
- autonomous agents
- first order logic
- model checker
- game theory
- linear temporal logic
- agent architecture
- intelligent agents
- asynchronous circuits
- agent systems
- formal specification
- coalition formation
- multiagent systems
- software systems
- hardware designs
- reinforcement learning
- coalition logic
- artificial intelligence
- agent platform
- verification method
- single agent
- agent technology
- software agents