A Hennessy-Milner Theorem for ATL with Imperfect Information.

Francesco Belardinelli Catalin Dima Vadim Malvone Ferucio Laurentiu Tiplea

Published in: CoRR (2020)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
game playing
model checking
game tree search
imperfect information games
card game
perfect information
game theory
nash equilibrium
resource allocation
learning experience
multi agent systems
upper bound
game tree
search space
lower bound