Automated verification of state sequence invariants in general game playing.

Sebastian Haufe Stephan Schiffel Michael Thielscher

Published in: Artif. Intell. (2012)

Keyphrases

general game playing
automated verification
evaluation function
model checking
upper bound
statistically significant
game playing