@misc{indiciae07c0ab0a5cd8,
  title = {Termination Analysis of Probabilistic Programs through Positivstellensatz's},
  author = {Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady},
  year = {2016},
  url = {https://arxiv.org/abs/1604.07169},
  note = {Source identifier: 1604.07169}
}