Pushdown Module Checking with Imperfect Information.
Benjamin AminofAniello MuranoMoshe Y. VardiPublished in: CONCUR (2007)
Keyphrases
- imperfect information
- game theoretic
- game playing
- game tree search
- game theory
- alternating time temporal logic
- model checking
- perfect information
- card game
- imperfect information games
- real time strategy games
- nash equilibrium
- game tree
- constraint satisfaction
- linear programming
- hidden markov models
- lower bound
- search algorithm
- data structure