Pages that link to "Item:Q477197"
From MaRDI portal
The following pages link to Down the Borel hierarchy: solving Muller games via safety games (Q477197):
Displaying 6 items.
- Assume-admissible synthesis (Q520340) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- (Q4986513) (← links)
- Computer Science Logic (Q5292620) (← links)
- Synthesizing permissive winning strategy templates for parity games (Q6535644) (← links)