program equivalence

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