TY  - RPRT
TI  - Termination Analysis of Probabilistic Programs through Positivstellensatz's
AU  - Krishnendu Chatterjee
AU  - Hongfei Fu
AU  - Amir Kafshdar Goharshady
PY  - 2016
UR  - https://arxiv.org/abs/1604.07169
ID  - 1604.07169
ER  -