Finding Polynomial Loop Invariants for Probabilistic Programs.

Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia

Browse the full ATVA paper archive.