Legay, A.; Sedwards, S.; Traonouez, L.-M. Estimating Rewards & Rare Events in Nondeterministic Systems. eceasst 2015, 72.