A Multiple-Valued Decision-Diagram-Based Approach to Solve Dynamic Fault Trees.

Published in: IEEE Trans. Reliab. (2014)

Keyphrases

decision diagrams
multiple valued
multi valued
markov decision processes
decision trees
file organization
efficient computation
boolean functions
digital circuits
normal form
complex networks
continuous attributes
xml documents
binary decision diagrams
data streams
search algorithm
data structure