Jean-Michel Fourneau, Nihal Pekergin, Sana Younès. CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time. In Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK. pages 211-212, IEEE Computer Society, 2007. [doi]
Abstract is missing.