Pages that link to "Item:Q4561425"
From MaRDI portal
The following pages link to Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness (Q4561425):
Displaying 5 items.
- Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles (Q2139771) (← links)
- Stochastic reachability of a target tube: theory and computation (Q2663957) (← links)
- Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
