Login / Signup
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