Surrogate Models for Markov Reward Models with Uncertain Parameters | IEEE Conference Publication | IEEE Xplore