Oink: An Implementation and Evaluation of Modern Parity Game Solvers.

Published in: TACAS (1) (2018)

Keyphrases

data sets
video games
evaluation method
highly optimized
pursuit evasion
information systems
general purpose
resource allocation
computer games
educational games
evaluation criteria
game play
game design
evaluation model
nash equilibria
mobile games