@misc{indiciae5e6949f42a8e,
  title = {Polar: An Algebraic Analyzer for (Probabilistic) Loops},
  author = {Marcel Moosbrugger and Julian Müllner and Ezio Bartocci and Laura Kovács},
  year = {2026},
  doi = {10.1007/978-3-031-75783-9\_8},
  url = {https://arxiv.org/abs/2602.14573},
  note = {Source identifier: 2602.14573}
}