The following pages link to (Q3434961):
Displayed 8 items.
- Reachability for partially observable discrete time stochastic hybrid systems (Q466266) (← links)
- State constrained reachability for stochastic hybrid systems (Q547913) (← links)
- Maximizing the probability of attaining a target prior to extinction (Q547917) (← links)
- Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Certified reinforcement learning with logic guidance (Q6136089) (← links)