From LTL to rLTL monitoring: improved monitorability through robust semantics (Q6108436)
From MaRDI portal
scientific article; zbMATH DE number 7704606
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From LTL to rLTL monitoring: improved monitorability through robust semantics |
scientific article; zbMATH DE number 7704606 |
Statements
From LTL to rLTL monitoring: improved monitorability through robust semantics (English)
0 references
29 June 2023
0 references
runtime monitoring
0 references
robust linear temporal logic
0 references
