Login / Signup

Can American Checkers be Solved by Means of Symbolic Model Checking?

Michael BaldamusKlaus SchneiderMichael WenzRoberto Ziller
Published in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • binary decision diagrams
  • model checker
  • symbolic representation
  • formal verification
  • finite state