@misc{indiciae4533f2f3fcc2,
  title = {Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments},
  author = {Andrey Kofnov and Marcel Moosbrugger and Miroslav Stankovič and Ezio Bartocci and Efstathia Bura},
  year = {2022},
  doi = {10.1007/978-3-031-16336-4\_1},
  url = {https://arxiv.org/abs/2205.02577},
  note = {Source identifier: 2205.02577}
}