A Provably Correct Sampler for Probabilistic Programs.

Chung-Kil Hur Aditya V. Nori Sriram K. Rajamani Selva Samuel

Published in: FSTTCS (2015)

Keyphrases

provably correct
situation calculus
formal methods
bayesian networks
case study
monte carlo
error estimates
probabilistic model
markov chain
uncertain data
sequential monte carlo
generative model
belief networks
interval arithmetic
metropolis hastings