Sign in
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