Symbolic Time and Space Tradeoffs for Probabilistic Verification.

Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil

Browse the full LICS paper archive.