BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs.

Leandro Gomes, Patrick Baillot, Marco Gaboardi

Browse the full FOSSACS paper archive.