A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs.

Leandro Gomes, Patrick Baillot, Marco Gaboardi

Browse the full CSL paper archive.