no code implementations • 17 May 2023 • Bahare Salmani, Joost-Pieter Katoen
This paper addresses the $\epsilon$-close parameter tuning problem for Bayesian Networks (BNs): find a minimal $\epsilon$-close amendment of probability entries in a given set of (rows in) conditional probability tables that make a given quantitative constraint on the BN valid.
no code implementations • 29 May 2021 • Bahare Salmani, Joost-Pieter Katoen
This paper proposes various new analysis techniques for Bayes networks in which conditional probability tables (CPTs) may contain symbolic variables.
no code implementations • 29 Jul 2020 • Bahare Salmani, Joost-Pieter Katoen
This paper applies probabilistic model checking techniques for discrete Markov chains to inference in Bayesian networks.