Details for the publication FengZJZX17.

Yijun Feng, Lijun Zhang, David N. Jansen (), Naijun Zhan (), Bican Xia: Finding Polynomial Loop Invariants for Probabilistic Programs. In Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, volume 10482 of Lecture Notes in Computer Science, pages 400-416, 2017. DOI BIB