On the Complexity of ATL and ATL* Module Checking.
Laura BozzelliAniello MuranoPublished in: GandALF (2017)
Keyphrases
- alternating time temporal logic
- multi agent systems
- model checking
- temporal logic
- verification method
- worst case
- imperfect information
- computational complexity
- space complexity
- decision trees
- lower complexity
- special case
- real time
- video sequences
- decision problems
- game theory
- learning environment
- computer vision
- artificial intelligence