Decidability Results for ATL* with Imperfect Information and Perfect Recall.

Raphaël Berthon Bastien Maubert Aniello Murano

Published in: AAMAS (2017)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
model checking
game playing
game theory
imperfect information games
card game
game tree
perfect information
multi agent systems
nash equilibrium
cooperative
game tree search
temporal logic
resource allocation
real time strategy games