Automatic Strategy Verification for Hex.

Ryan B. Hayward Broderick Arneson Philip Henderson

Published in: Computers and Games (2006)

Keyphrases

fully automatic
model checking
optimal strategy
semi automatic
data driven
artificial neural networks
search space
game tree search
formal verification
formal methods
data sets
learning environment
case study
decision trees
computer vision
machine learning
databases