Model Checking Temporal Properties of Recursive Probabilistic Programs.

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

Browse the full FOSSACS paper archive.