David Daly, Hyuk Choi Jong, et al.
IPDPS 2007
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, Hyuk Choi Jong, et al.
IPDPS 2007
Eric W. D. Rozier, William H. Sanders, et al.
SRDS 2011
Partha Pal, Paul Rubel, et al.
Software - Practice and Experience
HariGovind Ramasamy, Mouna Seri, et al.
PODC 2007