Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach.

Michele Boreale, Luisa Collodi

Browse the full VMCAI paper archive.