Recent Results on Strategy Logic with Imperfect Information.

Bastien Maubert

Published in: ICTCS (2021)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
game playing
game tree search
model checking
imperfect information games
game theory
modal logic
search algorithm
optimal strategy
card game