Publication [FengZJZX17] Finding polynomial loop invariants for probabilistic programs Feng, Y.; Zhang, L.; Jansen, D. N.; Zhan, N. and Xia, B. In ATVA, pages 400-416, LNCS 10482, 2017.Downloads: bib
