Pages that link to "Item:Q5079759"
From MaRDI portal
The following pages link to Synthesizing Optimally Resilient Controllers (Q5079759):
Displaying 9 items.
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
- Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
- (Q3152838) (← links)
- (Q3384874) (← links)
- (Q5020519) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- Synthesis of Optimal Resilient Control Strategies (Q5096100) (← links)
- On Synthesizing Controllers from Bounded-Response Properties (Q5429317) (← links)