Zobrazeno 1 - 10
of 87
pro vyhledávání: '"Blumenthal, Christian"'
Autor:
Klinkenberg, Lutz, Blumenthal, Christian, Chen, Mingshuai, Haase, Darion, Katoen, Joost-Pieter
We present an exact Bayesian inference method for inferring posterior distributions encoded by probabilistic programs featuring possibly unbounded loops. Our method is built on a denotational semantics represented by probability generating functions,
Externí odkaz:
http://arxiv.org/abs/2307.07314