Reachability in Succinct One-Counter Games.

Published in: RP (2015)

Keyphrases

computer games
video games
transitive closure
weighted majority
coalitional games
nash equilibria
online game
game theoretic
human computation
game design
game development
game based learning
real time
serious games
game theory
state space
multi agent systems
multi agent
social networks
information retrieval