Login / Signup

Alternating-time temporal logic with explicit strategies.

Dirk WaltherWiebe van der HoekMichael J. Wooldridge
Published in: TARK (2007)
Keyphrases
  • alternating time temporal logic
  • learning environment
  • collaborative learning