Strategy logic with imperfect information.

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

Published in: LICS (2017)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
game tree search
game theory
modal logic
model checking
game playing
game tree
perfect information
card game
multi agent systems
query language
linear programming
real time strategy games
imperfect information games