On Automated Verification of Probabilistic Programs.

Axel Legay, Andrzej S. Murawski, Jol Ouaknine, James Worrell

Browse the full TACAS paper archive.