Verification of Markov Decision Processes with Risk-Sensitive Measures
Advances in Prospect Theory: Cumulative Representation of Uncertainty