The following pages link to Shield synthesis (Q1696587):
Displayed 10 items.
- Adapting behaviors via reactive synthesis (Q832238) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248) (← links)
- (Q5009452) (← links)
- (Q5089265) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- Risk-aware shielding of partially observable Monte Carlo planning policies (Q6088298) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
- Compositional runtime enforcement revisited (Q6108437) (← links)