A stochastic approximation method for reachability computations
From MaRDI portal
Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Stochastic ordinary differential equations (aspects of stochastic analysis) (60H10) Attainable sets, reachability (93B03) Application models in control theory (93C95) Stochastic systems in control theory (general) (93E03)
Recommendations
- Lagrangian approximations for stochastic reachability of a target tube
- Stochastic reachability of a target tube: theory and computation
- A stochastic reach-avoid problem with random obstacles
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems
- Stochastic reachability analysis of hybrid systems.
Cited in
(15)- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Safe autonomy under perception uncertainty using chance-constrained temporal logic
- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- The stochastic reach-avoid problem and set characterization for diffusions
- Reachability design through approximate Bayesian computation
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Maximizing the probability of attaining a target prior to extinction
- Stochastic reachability of a target tube: theory and computation
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
- Reachability for partially observable discrete time stochastic hybrid systems
- State constrained reachability for stochastic hybrid systems
- Computing bounded reach sets from sampled simulation traces
- scientific article; zbMATH DE number 1361118 (Why is no real title available?)
- Certified reinforcement learning with logic guidance
This page was built for publication: A stochastic approximation method for reachability computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434961)
