Pages that link to "Item:Q3172910"
From MaRDI portal
The following pages link to Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited (Q3172910):
Displaying 9 items.
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Energy parity games (Q1758152) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- (Q3384874) (← links)
- (Q5111253) (← links)
- Equilibrium in two-player stochastic games with shift-invariant payoffs (Q6057758) (← links)
