TY  - RPRT
TI  - Finding polynomial loop invariants for probabilistic programs
AU  - Yijun Feng
AU  - Lijun Zhang
AU  - David N. Jansen
AU  - Naijun Zhan
AU  - Bican Xia
PY  - 2017
UR  - https://arxiv.org/abs/1707.02690
ID  - 1707.02690
ER  -