Pages that link to "Item:Q5449826"
From MaRDI portal
The following pages link to Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games (Q5449826):
Displayed 7 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- The complexity of stochastic Müller games (Q418128) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Value Iteration (Q3512436) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- Stochastic Müller Games are PSPACE-Complete (Q5458855) (← links)