Bayesian Inference by Symbolic Model Checking. - Bahare Salmani; Joost-Pieter Katoen (QEST, 2020)

Fine-Tuning the Odds in Bayesian Networks. - Bahare Salmani; Joost-Pieter Katoen (ECSQARU, 2021)

Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks. - Bahare Salmani; Joost-Pieter Katoen (IJCAI, 2023)

Finding an ε-close Variation of Parameters in Bayesian Networks. - Bahare Salmani; Joost-Pieter Katoen (CoRR, 2023)

Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241). - Sebastian Junges; Joost-Pieter Katoen; Scott Sanner; Guy Van den Broeck; Bahare Salmani (Dagstuhl Reports, 2023)

Automatically Finding the Right Probabilities in Bayesian Networks. - Bahare Salmani; Joost-Pieter Katoen (J. Artif. Intell. Res., 2023)