program equivalence

Exact Bayesian Inference for Loopy Probabilistic Programs

We present an exact Bayesian inference method for inferring posterior distributions encoded by probabilistic programs featuring …

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen

Does a Program Yield the Right Distribution?

We study discrete probabilistic programs with potentially unbounded looping behaviors over an infinite state space. We present, to the …

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler