Pages that link to "Item:Q2986967"
From MaRDI portal
The following pages link to Resilience to intermittent assumption violations in reactive synthesis (Q2986967):
Displaying 6 items.
- Shield synthesis (Q1696587) (← links)
- A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- Adapting to the behavior of environments with bounded memory (Q6649514) (← links)