TY  - RPRT
TI  - Synthesizing Probabilistic Invariants via Doob's Decomposition
AU  - Gilles Barthe
AU  - Thomas Espitau
AU  - Luis María Ferrer Fioriti
AU  - Justin Hsu
PY  - 2016
DO  - 10.1007/978-3-319-41528-4_3
UR  - https://arxiv.org/abs/1605.02765
ID  - 1605.02765
ER  -