Falsification of cyber-physical systems with robustness-guided black-box checking (Q5146373)
From MaRDI portal
scientific article; zbMATH DE number 7300852
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Falsification of cyber-physical systems with robustness-guided black-box checking |
scientific article; zbMATH DE number 7300852 |
Statements
Falsification of cyber-physical systems with robustness-guided black-box checking (English)
0 references
25 January 2021
0 references
automata learning
0 references
black-box checking
0 references
cyber-physical systems
0 references
falsification
0 references
model checking
0 references
robust semantics
0 references
signal temporal logic
0 references
