Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Data-driven verification and synthesis of stochastic systems via barrier certificates |
scientific article; zbMATH DE number 7847011
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Data-driven verification and synthesis of stochastic systems via barrier certificates |
scientific article; zbMATH DE number 7847011 |
Statements
Data-driven verification and synthesis of stochastic systems via barrier certificates (English)
0 references
14 May 2024
0 references
stochastic systems
0 references
safety specification
0 references
formal synthesis
0 references
data-driven barrier certificate
0 references
robust convex program
0 references
scenario convex program
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
