Yijun Feng, Lijun Zhang 0001, David N. Jansen, Naijun Zhan, Bican Xia. Finding Polynomial Loop Invariants for Probabilistic Programs. In Deepak D'Souza, K. Narayan Kumar, editors, 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, Springer, 2017. [doi]
Abstract is missing.