Strategy Logic with Imperfect Information.

Raphaël Berthon Bastien Maubert Aniello Murano Sasha Rubin Moshe Y. Vardi

Published in: ACM Trans. Comput. Log. (2021)

Keyphrases

imperfect information
alternating time temporal logic
game playing
imperfect information games
game tree search
game theoretic
game theory
perfect information
card game
optimal strategy
nash equilibrium
real time strategy games
game tree