Dealing with imperfect information in Strategy Logic.

Sophia Knight Bastien Maubert

Published in: CoRR (2019)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
card game
game tree search
model checking
game playing
game theory
perfect information
real time strategy games
learning process
sufficient conditions
modal logic
game tree
imperfect information games