Termination Criteria for Solving Concurrent Safety and Reachability Games

Krishnendu Chatterjee Luca de Alfaro Thomas A. Henzinger

Published in: CoRR (2008)

Keyphrases

video games
data sets
learning algorithm
combinatorial optimization
neural network
decision making
reinforcement learning
evolutionary algorithm
state space
computer games
evaluation criteria
solving problems
online game
selection criteria