From LTL to rLTL monitoring (Q5146368)
From MaRDI portal
scientific article; zbMATH DE number 7300848
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From LTL to rLTL monitoring |
scientific article; zbMATH DE number 7300848 |
Statements
From LTL to rLTL monitoring (English)
0 references
25 January 2021
0 references
linear temporal logic
0 references
robustness
0 references
runtime monitoring
0 references
