Login / Signup

Graded Alternating-Time Temporal Logic.

Marco FaellaMargherita NapoliMimmo Parente
Published in: LPAR (Dakar) (2010)
Keyphrases
  • alternating time temporal logic
  • model checking
  • imperfect information
  • temporal logic
  • cooperative
  • reinforcement learning
  • learning environment