Login / Signup
Alternating-time temporal logic with explicit strategies.
Dirk Walther
Wiebe van der Hoek
Michael J. Wooldridge
Published in:
TARK (2007)
Keyphrases
</>
alternating time temporal logic
learning environment
collaborative learning