Login / Signup

Imperfect Information in Alternating-Time Temporal Logic on Finite Traces.

Francesco BelardinelliAlessio LomuscioAniello MuranoSasha Rubin
Published in: PRIMA (2019)
Keyphrases
  • alternating time temporal logic
  • imperfect information
  • model checking
  • finite automata
  • game theoretic
  • game playing
  • card game
  • game theory
  • reinforcement learning
  • imperfect information games
  • cooperative
  • upper bound