Paper at ECSQARU 2021

The paper entitled “Fine-Tuning the Odds for Bayes Networks” by Bahare Salmani and Joost-Pieter Katoen has been accepted for the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021). The paper proposes the usage of parameter synthesis techniques for Markov chains to analyse Bayesian networks with symbolic parameters in the conditional probability tables, and experimentally compares this to existing analysis tools for Bayesian networks.