Krishnendu Chatterjee, Hongfei Fu, Petr Novotný 0001, Rouzbeh Hasheminezhad. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM Transactions on Programming Languages and Systems, 40(2), 2018. [doi]
Abstract is missing.