Login / Signup

BDDTCL: An Environment for Visualizing and Manipulating Binary Decision Diagrams.

Kurt Partridge
Published in: CHI Conference Companion (1996)
Keyphrases
  • binary decision diagrams
  • database
  • mobile robot
  • general purpose
  • symbolic model checking
  • reinforcement learning
  • knowledge based systems