Symbolic Strategy Synthesis for Games on Pushdown Graphs.

Published in: ICALP (2002)

Keyphrases

model checking
graph clustering
selection strategy
leader follower
video games
graph theory
graph structure
graph partitioning
game playing
game play
graph representation
game design
graph model
e learning
bipartite graph
graph matching
cooperative