1 paper · 1 filter
Carlos Pinzón, Catuscia Palamidessi
In this paper, we show a more concise and high level proof than the original one, derived by researcher Bart Jacobs, for the following theorem: in the context of Bayesian update ru…