On the Expressiveness and Complexity of ATL.

François Laroussinie Nicolas Markey Ghassan Oreiby

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

multi agent systems
model checking
expressive power
information systems
case study
image segmentation
face recognition
computational cost
decision problems