Solving parity games via priority promotion.

Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero

Published in: Formal Methods Syst. Des. (2018)

Keyphrases

video games
game playing
game theoretic
game tree search
data sets
combinatorial optimization
nash equilibrium
game play
neural network
data structure
virtual environment
computer games
error correction
nash equilibria
stochastic games