Strategy Logic with Imperfect Information.

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

Published in: CoRR (2020)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
game tree search
game playing
imperfect information games
perfect information
model checking
modal logic
game theory
real time strategy games
learning algorithm
decision making