Improving Parity Game Solvers with Justifications.

Ruben Lapauw Maurice Bruynooghe Marc Denecker

Published in: VMCAI (2020)

Keyphrases

computer games
game theory
video games
virtual world
educational games
serious games
game design
game playing
multi agent systems
optimal strategy
learning games
highly optimized
sat solving