Synthesizing Probabilistic Invariants via Doob's Decomposition.

Gilles Barthe, Thomas Espitau, Luis Mara Ferrer Fioriti, Justin Hsu

Browse the full CAV paper archive.