Login / Signup

Graded Alternating-Time Temporal Logic.

Marco FaellaMargherita NapoliMimmo Parente
Published in: Fundam. Informaticae (2010)
Keyphrases
  • alternating time temporal logic
  • model checking
  • imperfect information
  • temporal logic
  • multi agent
  • search space
  • regular expressions
  • epistemic logic