Alternating-time logic with imperfect recall

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)82-93
Number of pages12
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 1 Apr 2004

Fingerprint Dive into the research topics of 'Alternating-time logic with imperfect recall'. Together they form a unique fingerprint.

Cite this