Statistical verification of learning-based cyber-physical systems (Q5146374)
From MaRDI portal
scientific article; zbMATH DE number 7300853
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Statistical verification of learning-based cyber-physical systems |
scientific article; zbMATH DE number 7300853 |
Statements
Statistical verification of learning-based cyber-physical systems (English)
0 references
25 January 2021
0 references
cyber-physical systems verification
0 references
high-assurance learning-based control
0 references
statistical model checking
0 references
