@misc{indiciae417db4773886,
  title = {Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support},
  author = {Anne Schreuder and Lorenz Winkler and Laura Kovács and C. -H. Luke Ong},
  year = {2026},
  url = {https://arxiv.org/abs/2609.02446},
  note = {Source identifier: 2609.02446}
}