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
David Daly, Dong Ryu Kyung, et al.
WHPCF 2008
Jeffrey Stuecheli, Dimitris Kaseridis, et al.
IEEE Micro
David Daly, Peter Buchholz, et al.
QEST 2006