Automated Verification of Epistemic Properties for General Game Playing.

Sebastian Haufe Michael Thielscher

Published in: KR (2012)

Keyphrases

general game playing
automated verification
game playing
model checking
artificial intelligence
automated reasoning
e learning
lower bound
evaluation function
formal verification
game tree search