A Hennessy-Milner Theorem for ATL with Imperfect Information.

Francesco Belardinelli Catalin Dima Vadim Malvone Ferucio Laurentiu Tiplea

Published in: LICS (2020)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
game playing
game tree search
model checking
perfect information
game theory
nash equilibrium
card game
np hard
upper bound
imperfect information games