Discrete-time Markov-reward models: random rewards | IEEE Conference Publication | IEEE Xplore