Marcus Größer, Gethin J. Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker. On Reduction Criteria for Probabilistic Reward Models. In S. Arun-Kumar, Naveen Garg, editors, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Volume 4337 of Lecture Notes in Computer Science, pages 309-320, Springer, 2006. [doi]
Abstract is missing.