@misc{indiciae607bc9722c72,
  title = {Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)},
  author = {Darion Haase and Kevin Batz and Adrian Gallus and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Lutz Klinkenberg and Tobias Winkler},
  year = {2026},
  url = {https://arxiv.org/abs/2601.13991},
  note = {Source identifier: 2601.13991}
}