Pages that link to "Item:Q5092368"
From MaRDI portal
The following pages link to Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time (Q5092368):
Displaying 11 items.
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Runtime enforcement of hyperproperties (Q2147207) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Parameterized Algorithms for Parity Games (Q2946404) (← links)
- Recursive algorithm for parity games requires exponential time (Q3117548) (← links)
- (Q5020527) (← links)
- (Q5020998) (← links)
- The Theory of Universal Graphs for Infinite Duration Games (Q5043588) (← links)
- Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games (Q5089201) (← links)
- Parallel repetition for all 3-player games over binary alphabet (Q6083554) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)