On Reduction Criteria for Probabilistic Reward Models.

Marcus Größer Gethin Norman Christel Baier Frank Ciesinski Marta Z. Kwiatkowska David Parker On Reduction Criteria for Probabilistic Reward Models. 309-320 2006 conf/fsttcs/2006 FSTTCS http://dx.doi.org/10.1007/11944836_29 db/conf/fsttcs/fsttcs2006.html#GrosserNBCKP06