Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.

Daniel Lundn, Johannes Borgstrm, David Broman

Browse the full ESOP paper archive.