TY  - RPRT
TI  - Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support
AU  - Anne Schreuder
AU  - Lorenz Winkler
AU  - Laura Kovács
AU  - C. -H. Luke Ong
PY  - 2026
UR  - https://arxiv.org/abs/2609.02446
ID  - 2609.02446
ER  -