@misc{indiciae88b6424a3781,
  title = {Synthesizing Probabilistic Invariants via Doob's Decomposition},
  author = {Gilles Barthe and Thomas Espitau and Luis María Ferrer Fioriti and Justin Hsu},
  year = {2016},
  doi = {10.1007/978-3-319-41528-4\_3},
  url = {https://arxiv.org/abs/1605.02765},
  note = {Source identifier: 1605.02765}
}