Conference paper
Bound-preserving composition for Markov reward models
David Daly, Peter Buchholz, et al.
QEST 2006
A new preorder relation is introduced that orders states of a Markov process with an additional reward structure according to the reward gained over any interval of finite or infinite length. The relation allows the comparison of different Markov processes and includes as special cases monotone and lumpable Markov processes. © 2007 Elsevier B.V. All rights reserved.
David Daly, Peter Buchholz, et al.
QEST 2006
Saman A. Zonouz, Aashish Sharma, et al.
DSN-W 2011
Jeffrey Stuecheli, Dimitris Kaseridis, et al.
ISCA 2010
HariGovind Ramasamy, Mouna Seri, et al.
PODC 2007