Solving Parity Games: Explicit vs Symbolic.

Antonio Di Stasio Aniello Murano Moshe Y. Vardi

Published in: CIAA (2018)

Keyphrases

error correction
cooperative
game theory
computer games
game playing
game theoretic
genetic algorithm
search algorithm
resource allocation
game design
solving problems
game tree
neural learning