Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741)
From MaRDI portal
scientific article; zbMATH DE number 7667087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bidirectional Runtime Enforcement of First-Order Branching-Time Properties |
scientific article; zbMATH DE number 7667087 |
Statements
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (English)
0 references
22 March 2023
0 references
runtime monitors
0 references
property enforcement
0 references
monitor synthesis
0 references
first-order safety properties
0 references
modal \(\mu\)-calculus
0 references
0 references
0 references
0 references
