Scalable Verification of Probabilistic Networks.

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

Published in: CoRR (2019)

Keyphrases

probabilistic networks
influence diagrams
bayesian networks
markov networks
bayesian belief networks
dynamic probabilistic networks
np hard
graphical models
probabilistic inference
machine learning
lower bound
higher order
distributed systems
decision problems