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