59 citations · 177 across the 62 of their papers we have counts for
Showing 2020 · cs.AIShow all
2 papers · 2 filters
cs.AI2020
Bayesian Inference by Symbolic Model Checking
Bahare Salmani, Joost-Pieter Katoen
This paper applies probabilistic model checking techniques for discrete Markov chains to inference in Bayesian networks. We present a simple translation from Bayesian networks into…
cs.AI2020
Verification of indefinite-horizon POMDPs
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen +1
The verification problem in MDPs asks whether, for any policy resolving the nondeterminism, the probability that something bad happens is bounded by some given threshold. This veri…