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