Relaxed Decidability and the Robust Semantics of Metric Temporal Logic (Q5275335)
From MaRDI portal
scientific article; zbMATH DE number 6741678
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relaxed Decidability and the Robust Semantics of Metric Temporal Logic |
scientific article; zbMATH DE number 6741678 |
Statements
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic (English)
0 references
11 July 2017
0 references
\(\delta\)-decidability
0 references
falsification
0 references
hybrid systems
0 references
metric temporal logic
0 references
quasi-decidability
0 references
robust semantics
0 references
