On the Expressiveness and Complexity of ATL

François Laroussinie Nicolas Markey Ghassan Oreiby

Published in: CoRR (2008)

Keyphrases

multi agent systems
cooperative
model checking
databases
metadata
multiscale
expert systems
np complete
expressive power
temporal logic
space complexity