The following pages link to On Locally Checkable Properties (Q5387900):
Displaying 7 items.
- Symbolic bounded synthesis (Q453535) (← links)
- Which security policies are enforceable by runtime monitors? A survey (Q465692) (← links)
- A new approach on locally checkable problems (Q2127611) (← links)
- Execution monitoring enforcement under memory-limitation constraints (Q2482440) (← links)
- The Quest for a Tight Translation of Büchi to co-Büchi Automata (Q3586001) (← links)
- (Q4132526) (← links)
- Improved Algorithms for the Approximate k-List Problem in Euclidean Norm (Q5738781) (← links)