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