Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936): Difference between revisions

@@ Property / cites work @@
+Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Viability theory
@@ Property / cites work: Viability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Target Hitting Time and the Problem of Early Retirement
+Normal rank
@@ Property / cites work @@
+Q4417983
@@ Property / cites work: Q4417983 / rank @@
+Normal rank
@@ Property / cites work @@
+DISCRETE TIME RISK MODELS UNDER RATES OF INTEREST
@@ Property / cites work: DISCRETE TIME RISK MODELS UNDER RATES OF INTEREST / rank @@
+Normal rank
@@ Property / cites work @@
+Ruin probabilities with a Markov chain interest model
+Normal rank
@@ Property / cites work @@
+Q3997210
@@ Property / cites work: Q3997210 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal harvesting of stochastic spatial resources
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / rank @@
+Normal rank
@@ Property / cites work @@
+Ruin probabilities with compounding assets for discrete time finite horizon problems, independent period claim sizes and general premium structure.
+Normal rank
@@ Property / cites work @@
+On the Reachability Problem for Uncertain Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Ergodic Control of Switching Diffusions
@@ Property / cites work: Ergodic Control of Switching Diffusions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004190
@@ Property / cites work: Q4004190 / rank @@
+Normal rank
@@ Property / cites work @@
+On reachability and minimum cost optimal control
@@ Property / cites work: On reachability and minimum cost optimal control / rank @@
+Normal rank
@@ Property / cites work @@
+The flexible, extensible and efficient toolbox of level set methods
+Normal rank
@@ Property / cites work @@
+Q4953402
@@ Property / cites work: Q4953402 / rank @@
+Normal rank
@@ Property / cites work @@
+On the ruin probabilities in a general economic environment
+Normal rank
@@ Property / cites work @@
+Ruin theory with compounding assets -- a survey
@@ Property / cites work: Ruin theory with compounding assets -- a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Ruin models with investment income
@@ Property / cites work: Ruin models with investment income / rank @@
+Normal rank
@@ Property / cites work @@
+Q4340161
@@ Property / cites work: Q4340161 / rank @@
+Normal rank
@@ Property / cites work @@
+Control of ruin probabilities by discrete-time investments
+Normal rank
@@ Property / cites work @@
+Fishery management under multiple uncertainty
@@ Property / cites work: Fishery management under multiple uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks.
+Normal rank
@@ Property / cites work @@
+Ruin probabilities for discrete time risk models with stochastic rates of interest
+Normal rank
@@ Property / cites work @@
+Ruin problems for a discrete time risk model with random interest rate
+Normal rank