On the Complexity of Multi-Pushdown Games.

Roland Meyer Sören van der Wall

Published in: FSTTCS (2020)

Keyphrases

database
model checking
game design
game theory
multi agent
real time
video games
worst case
website
mobile robot
mobile devices
bayesian networks
decision making
nash equilibrium
databases
digital games
nash equilibria
game tree search