An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications.
Alessio LomuscioJakub MichaliszynPublished in: KR (2014)
Keyphrases
- multi agent systems
- bounded model checking
- model checking
- temporal logic
- formal verification
- computation tree logic
- cooperative
- automated verification
- multi agent
- high level
- autonomous agents
- model checker
- intelligent agents
- coalition formation
- software agents
- coalition logic
- alternating time temporal logic
- verification method
- agent systems
- finite state machines
- agent oriented
- specification language
- data abstraction
- agent communication
- single agent
- protocol specification
- agent architecture
- game theory
- software engineering