Probabilistic equivalence checking based on high-level decision diagrams.

Anton Karputkin Raimund Ubar Mati Tombak Jaan Raik

Published in: DDECS (2011)

Keyphrases

decision diagrams
high level
multi valued
markov decision processes
efficient computation
digital circuits
binary decision diagrams
bayesian networks
constraint satisfaction problems
planning problems
compressed data
data sets
learning algorithm
image data
state space