@misc{indiciae3d36945a0b57,
  title = {Automated Termination Analysis of Polynomial Probabilistic Programs},
  author = {Marcel Moosbrugger and Ezio Bartocci and Joost-Pieter Katoen and Laura Kovács},
  year = {2021},
  url = {https://arxiv.org/abs/2010.03444},
  note = {Source identifier: 2010.03444}
}