On Reduction Criteria for Probabilistic Reward Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcus Größer' in GoogleIdentified as Gethin J. Norman This author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Frank Ciesinski' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. Look up 'David Parker' in Google

runs on WebDSL