Keyword:probabilistic programs

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
Proving uniformity and independence by self-composition and coupling Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu and Pierre-Yves Strub In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning