Reasoning Algebraically About Probabilistic Loops.

Larissa Meinicke, Ian J. Hayes

Browse the full ICFEM paper archive.