Pushdown module checking with imperfect information.

Benjamin Aminof Axel Legay Aniello Murano Olivier Serre Moshe Y. Vardi

Published in: Inf. Comput. (2013)

Keyphrases

imperfect information
game theoretic
game tree search
game theory
game playing
game tree
model checking
perfect information
imperfect information games
card game
alternating time temporal logic
nash equilibrium
finite automata
real time strategy games
cooperative