Login / Signup
Alternating-time temporal logic with finite-memory strategies.
Steen Vester
Published in:
GandALF (2013)
Keyphrases
</>
alternating time temporal logic
memory requirements
data structure
imperfect information
special case