Pages that link to "Item:Q1742991"
From MaRDI portal
The following pages link to Solving parity games via priority promotion (Q1742991):
Displaying 15 items.
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\) (Q293426) (← links)
- Solving parity games in big steps (Q340584) (← links)
- Parity games on undirected graphs (Q456183) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- On promptness in parity games (Q2805469) (← links)
- Uniform solution of parity games on prefix-recognizable graphs (Q2842876) (← links)
- Two local strategy iteration schemes for parity game solving (Q2909223) (← links)
- (Q5020527) (← links)
- Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time (Q5092368) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)
- A matrix-based approach to parity games (Q6535384) (← links)
- On-the-fly solving for symbolic parity games (Q6535612) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)