Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105)
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: Robustly complete finite-state abstractions for verification of stochastic systems |
scientific article; zbMATH DE number 7643429
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Robustly complete finite-state abstractions for verification of stochastic systems |
scientific article; zbMATH DE number 7643429 |
Statements
Robustly complete finite-state abstractions for verification of stochastic systems (English)
0 references
18 January 2023
0 references
verification of stochastic systems
0 references
finite-state abstraction
0 references
robustness
0 references
soundness
0 references
completeness
0 references
\( \mathcal{L}_1\)-perturbation
0 references
linear temporal logic
0 references
metrizable space of probability measures
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
