Verifying Pushdown Multi-Agent Systems against Strategy Logics.
Taolue ChenFu SongZhilin WuPublished in: IJCAI (2016)
Keyphrases
- multi agent systems
- model checking
- coalition logic
- temporal logic
- expressive power
- modal logic
- multi agent
- epistemic logic
- neural network
- game theory
- artificial intelligence
- coalition formation
- distributed problem solving
- cooperative
- intelligent agents
- multiagent systems
- information systems
- real time
- autonomous agents
- trust model
- pspace complete