Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Robustly complete finite-state abstractions for verification of stochastic systems |
scientific article |
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
