Abstract:This paper studies the minimizing risk problems in Markov decision processes with countable state space and reward set. The objective is to find a policy which minimizes the probability (risk) that the total discounted rewards do not exceed a specified value (target). In this sort of model, the decision made by the decision maker depends not only on system's states, but also on his target values. By introducing the decision-maker's state, we formulate a framework for minimizing risk models. The policies discussed depend on target values and the rewards may be arbitrary real numbers. For the finite horizon model, the main results obtained are: (i) The optimal value functions are distribution functions of the target, (ii) there exists an optimal deterministic Markov policy, and (iii) a policy is optimal if and only if at each realizable state it always takes optimal action. In addition, we obtain a sufficient condition and a necessary condition for the existence of finite horizon optimal policy independent of targets and we give an algorithm computing finite horizon optimal policies and optimal value functions. For an infinite horizon model, we establish the optimality equation and we obtain the structure property of optimal policy. We prove that the optimal value function is a distribution function of target and we present a new approximation formula which is the generalization of the nonnegative rewards cases. An example which illustrates the mistakes of previous literature shows that the existence of optimal policy has not been proved really. In this paper, we give an existence condition, which is a sufficient and necessary condition for the existence of an infinite horizon optimal policy independent of targets, and we point out that whether there exists an optimal policy remains an open problem in the general case.

Reachability and Safety Objectives in Markov Decision Processes on Long but Finite Horizons

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

Risk-sensitive Continuous-Time Markov Decision Processes with Unbounded Rates and Borel Spaces

Solving Markov Decision Processes with Reachability Characterization from Mean First Passage Times

Controlled Markov Processes With Safety State Constraints

Finite-horizon Optimality for Continuous-Time Markov Decision Processes with Unbounded Transition Rates

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems

Minimizing Risk Models in Markov Decision Processes with Policies Depending on Target Values

Multi-weighted Markov Decision Processes with Reachability Objectives

Risk Probability Minimization Problems for Continuous-Time Markov Decision Processes on Finite Horizon

Markov Potential Game with Final-time Reach-Avoid Objectives

Finite Horizon Risk-Sensitive Continuous-Time Markov Decision Processes with Unbounded Transition and Cost Rates

Strategy Improvement for Concurrent Reachability and Safety Games

Optimal models with maximizing probability of first achieving target value in the preceding stages

Minimum Risk Probability for Finite Horizon Semi-Markov Decision Processes

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives

Risk-Sensitive Discounted Continuous-Time Markov Decision Processes with Unbounded Rates.

Towards Analysis Of Semi-Markov Decision Processes

On Bellman's principle of optimality and Reinforcement learning for safety-constrained Markov decision process