Termination criteria for solving concurrent safety and reachability games.

Krishnendu Chatterjee Luca de Alfaro Thomas A. Henzinger

Published in: SODA (2009)

Keyphrases

computer games
video games
neural network
evaluation criteria
multiple criteria
term rewriting
decision making
cooperative
combinatorial optimization
game design
multi objective
state space
game theory
game play
game playing
reinforcement learning agents