TY - RPRT TI - Polynomial Probabilistic Invariants and the Optional Stopping Theorem AU - Anne Schreuder AU - C. -H. Luke Ong PY - 2019 UR - https://arxiv.org/abs/1910.12634 ID - 1910.12634 ER -