Login / Signup
New results on pushdown module checking with imperfect information
Laura Bozzelli
Published in:
GandALF (2011)
Keyphrases
</>
imperfect information
game theoretic
game playing
game tree search
game theory
perfect information
card game
imperfect information games
real time strategy games
alternating time temporal logic
model checking
decision making
linear programming
nash equilibrium
game tree
human players