Timed Binary Decision Diagrams.

Zhongcheng Li Yuhong Zhao Yinghua Min Robert K. Brayton

Published in: ICCD (1997)

Keyphrases

binary decision diagrams
petri net
boolean functions
symbolic model checking
planning problems
model checking
variable ordering
knowledge compilation
data sets
reinforcement learning
general purpose
domain independent