On the Expressiveness and Complexity of ATL.

François Laroussinie Nicolas Markey Ghassan Oreiby

Published in: FoSSaCS (2007)

Keyphrases

expressive power
model checking
decision problems
complexity analysis
image processing
data sets
decision making
lower complexity
database
real time
neural network
multi agent systems
computational complexity
computational cost
temporal logic