Authors
Pierre-Yves Schobbens
Publication date
2004/4/1
Journal
Electronic Notes in Theoretical Computer Science
Volume
85
Issue
2
Pages
82-93
Publisher
Elsevier
Description
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.
Total citations
Scholar articles
PY Schobbens - Electronic Notes in Theoretical Computer Science, 2004