Ahmadreza Marandi

Efficient Sensitivity Analysis for Parametric Robust Markov Chains

2023 · Lecture notes in computer science

Abstract We provide a novel method for sensitivity analysis of parametric robust Markov chains. These models incorporate parameters and sets of probability distributions to alleviate the often unrealistic assumption that precise probabilities are available. We …