Pages that link to "Item:Q5079759"
From MaRDI portal
The following pages link to Synthesizing Optimally Resilient Controllers (Q5079759):
Displaying 6 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)
- (Q3384874) (← links)
- (Q5020519) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
