Verifying Sampling Algorithms via Distributional Invariants.

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

Browse the full FM paper archive.