@misc{indiciaef6ce08104633,
  title = {Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments},
  author = {Andrey Kofnov and Marcel Moosbrugger and Miroslav Stankovič and Ezio Bartocci and Efstathia Bura},
  year = {2024},
  doi = {10.1145/3641545},
  url = {https://arxiv.org/abs/2306.07072},
  note = {Source identifier: 2306.07072}
}