Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness (Q4561425)
From MaRDI portal
scientific article; zbMATH DE number 6989676
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness |
scientific article; zbMATH DE number 6989676 |
Statements
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness (English)
0 references
6 December 2018
0 references
convex optimization
0 references
stochastic optimal control
0 references
stochastic reachability
0 references
