Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil: Symbolic Time and Space Tradeoffs for Probabilistic Verification. LICS 2021: 1-13