in ATL.

Aidan Harding Mark Ryan Pierre-Yves Schobbens

Published in: VMCAI (2002)

Keyphrases

multi agent systems
alternating time temporal logic
model checking
temporal logic
information systems
decision making
artificial intelligence
data structure
recommender systems
hidden markov models
upper bound
imperfect information