Dependability Assessment using Binary Decision Diagrams (BDDs).

Stacy A. Doyle Joanne Bechta Dugan

Published in: FTCS (1995)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
planning problems
variable ordering
model checking
ambient intelligence
decision diagrams
complex systems
knowledge compilation
general purpose
real world