Verification of Multi-agent Systems Via Bounded Model Checking.
Xiangyu LuoKaile SuAbdul SattarMark ReynoldsPublished in: Australian Conference on Artificial Intelligence (2006)
Keyphrases
- bounded model checking
- multi agent systems
- model checking
- formal verification
- temporal epistemic
- temporal logic
- multi agent
- cooperative
- autonomous agents
- intelligent agents
- software agents
- game theory
- multi agent reinforcement learning
- linear temporal logic
- agent platform
- agent architecture
- coalition formation
- software engineering
- orders of magnitude
- computational logic