Publication:3434961
From MaRDI portal
zbMath1130.93050MaRDI QIDQ3434961
Publication date: 3 May 2007
60H10: Stochastic ordinary differential equations (aspects of stochastic analysis)
93C95: Application models in control theory
60J10: Markov chains (discrete-time Markov processes on discrete state spaces)
93E03: Stochastic systems in control theory (general)
93B03: Attainable sets, reachability
Related Items
Certified reinforcement learning with logic guidance, Reachability for partially observable discrete time stochastic hybrid systems, State constrained reachability for stochastic hybrid systems, Maximizing the probability of attaining a target prior to extinction, Safe autonomy under perception uncertainty using chance-constrained temporal logic, Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction, A dynamic game approach to distributionally robust safety specifications for stochastic systems, Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems