Synthesizing Probabilistic Invariants via Doob’s Decomposition | Publicación