On a class of approximations for ruin and waiting time probabilities
Operations Research Letters
Probability in the Engineering and Informational Sciences
On the connections between PCTL and dynamic programming
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem
Automatica (Journal of IFAC)
Hi-index | 0.00 |
Two discrete time risk models under rates of interest are introduced. Ruin probabilities in the two risk models are discussed. Stochastic inequalities for the ruin probabilities are derived by martingales and renewal recursive techniques. The inequalities can be used to evaluate the ruin probabilities as upper bounds. Numerical illustrations for these results are given.