Verification of Markov Decision Processes with Risk-Sensitive Measures
Risk-Sensitive Inverse Reinforcement Learning via Gradient Methods