CTL.STIT: enhancing ATL to express important multi-agent system verification properties.
Jan M. BroersenPublished in: AAMAS (2010)
Keyphrases
- multi agent systems
- model checking
- temporal epistemic
- bounded model checking
- epistemic logic
- temporal properties
- coalition logic
- cooperative
- temporal logic
- multi agent
- game theory
- software agents
- intelligent agents
- computation tree logic
- multiagent systems
- agent architecture
- agent technology
- formal verification
- alternating time temporal logic
- concurrent systems
- agent systems
- logical framework
- machine learning