Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams.

Simonetta Balsamo Andrea Marin Ivan Stojic

Published in: MASCOTS (2015)

Keyphrases

decision diagrams
multi valued
multiple valued
efficient computation
markov decision processes
digital circuits
binary decision diagrams
search algorithm
image data
constraint satisfaction problems
compressed data
state space
graphical models
planning problems