Keyword:martingale

Publications
Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support Anne Schreuder, Lorenz Winkler, Laura Kovács and C.-H. Luke Ong In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning