Bahare Salmani

According to our database, Bahare Salmani authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Probabilistic model checking and parameter tuning for Bayesian networks.

Bahare Salmani

PhD thesis, 2024

2023

Automatically Finding the Right Probabilities in Bayesian Networks.

Bahare Salmani, Joost-Pieter Katoen

J. Artif. Intell. Res., 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

Finding an ε-close Variation of Parameters in Bayesian Networks.

Bahare Salmani, Joost-Pieter Katoen

CoRR, 2023

Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks.

Bahare Salmani, Joost-Pieter Katoen

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2021

Fine-Tuning the Odds in Bayesian Networks.

Bahare Salmani, Joost-Pieter Katoen

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020

Bayesian Inference by Symbolic Model Checking.

Bahare Salmani, Joost-Pieter Katoen

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020