TY - JOUR
T1 - Alternating-time logic with imperfect recall
AU - Schobbens, P.-Y.
N1 - Copyright 2008 Elsevier B.V., All rights reserved.
PY - 2004/4/1
Y1 - 2004/4/1
N2 - We study here a variant of the alternating-time temporal logic (ATL) where each agent has a given memory. We show that it is an interesting compromise, rather realistic but with a reasonable complexity. In contrast, most models with perfect recall and imperfect information have an undecidable model-checking problem. © 2004 Published by Elsevier Science B.V.
AB - We study here a variant of the alternating-time temporal logic (ATL) where each agent has a given memory. We show that it is an interesting compromise, rather realistic but with a reasonable complexity. In contrast, most models with perfect recall and imperfect information have an undecidable model-checking problem. © 2004 Published by Elsevier Science B.V.
UR - http://www.scopus.com/inward/record.url?scp=18844453205&partnerID=8YFLogxK
U2 - 10.1016/S1571-0661(05)82604-0
DO - 10.1016/S1571-0661(05)82604-0
M3 - Article
SN - 1571-0661
VL - 85
SP - 82
EP - 93
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
ER -