The following pages link to Efficiency through uncertainty (Q5239245):
Displaying 9 items.
- Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Stochastic reachability of a target tube: theory and computation (Q2663957) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- (Q6079215) (← links)
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)
- Probabilistic reach-avoid for Bayesian neural networks (Q6592977) (← links)
