Towards Quantitative Verification of Probabilistic Transition Systems.

Franck van Breugel, James Worrell

Browse the full ICALP paper archive.