Pages that link to "Item:Q5125761"
From MaRDI portal
The following pages link to Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement (Q5125761):
Displaying 5 items.
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)
