Scalable verification of probabilistic networks.

Steffen Smolka Praveen Kumar David M. Kahn Nate Foster Justin Hsu Dexter Kozen Alexandra Silva

Published in: PLDI (2019)

Keyphrases

probabilistic networks
influence diagrams
bayesian networks
probabilistic inference
bayesian belief networks
dynamic probabilistic networks
markov networks
graphical models
qualitative probabilistic networks
sensitivity analysis
continuous variables
dynamic programming