Decidability results for ATL* with imperfect information and perfect recall.

Raphaël Berthon Bastien Maubert Aniello Murano

Published in: CoRR (2018)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
model checking
game playing
game theory
game tree search
nash equilibrium
multi agent systems
card game
game tree
imperfect information games
learning algorithm
temporal logic
index structure
sufficient conditions
worst case