Strategy Logic with Imperfect Information.

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

Published in: CoRR (2018)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
model checking
perfect information
imperfect information games
game theory
game tree search
real time strategy games
temporal logic
modal logic
card game
objective function
cooperative
constraint satisfaction problems
game playing