Modeling and Verification of Chess Game Using NuSMV.

Vikram Saralaya J. K. Kishore Sateesh Reddy Radhika M. Pai Sanjay Singh

Published in: ACC (2) (2011)

Keyphrases

model checking
model checker
game playing
computer chess
temporal logic
imperfect information
game theory
artificial intelligence
alpha beta search
formal verification
description language
game tree search
symbolic model checking
video games
game theoretic
formal specification
game play
board game
computer games