Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications.
Jeremy KongAlessio LomuscioPublished in: AAMAS (2017)
Keyphrases
- symbolic model checking
- model checking
- multi agent systems
- bounded model checking
- model checker
- formal verification
- formal specification
- temporal logic
- conformant planning
- formal methods
- partial observability
- agent architecture
- binary decision diagrams
- multi agent
- linear temporal logic
- cooperative
- description language
- autonomous agents
- specification language
- finite state
- satisfiability problem
- single agent
- symbolic representation
- coalition formation
- orders of magnitude
- knowledge based systems