Login / Signup

Relentful Strategic Reasoning in Alternating-Time Temporal Logic.

Fabio MogaveroAniello MuranoMoshe Y. Vardi
Published in: LPAR (Dakar) (2010)
Keyphrases
  • alternating time temporal logic
  • multi agent decision making
  • imperfect information
  • knowledge management
  • model checking
  • reasoning tasks