Pages that link to "Item:Q3581528"
From MaRDI portal
The following pages link to A deterministic subexponential algorithm for solving parity games (Q3581528):
Displayed 32 items.
- On canonical forms for zero-sum stochastic mean payoff games (Q367425) (← links)
- Alternating traps in Muller and parity games (Q389948) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- Solving parity games by a reduction to SAT (Q414902) (← links)
- The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs (Q477199) (← links)
- Graph operations on parity games and polynomial-time algorithms (Q906273) (← links)
- On short paths interdiction problems: Total and node-wise limited interdiction (Q929289) (← links)
- Cyclic games and linear programming (Q944703) (← links)
- Parity game reductions (Q1656552) (← links)
- A convex programming-based algorithm for mean payoff stochastic games with perfect information (Q1686541) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and few random positions (Q2417852) (← links)
- A superpolynomial lower bound for strategy iteration based on snare memorization (Q2446310) (← links)
- Concurrent reachability games (Q2465027) (← links)
- Recursive algorithm for parity games requires exponential time (Q3117548) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
- (Q3384167) (← links)
- A CSP-Based Approach for Solving Parity Game (Q3507327) (← links)
- Value Iteration (Q3512436) (← links)
- The Descriptive Complexity of Parity Games (Q3540190) (← links)
- Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
- Solving μ-Calculus Parity Games by Symbolic Planning (Q3614877) (← links)
- Solving Parity Games in Practice (Q3648698) (← links)
- (Q4553289) (← links)
- (Q5009456) (← links)
- (Q5013885) (← links)
- (Q5015265) (← links)
- Meanings of Model Checking (Q5187832) (← links)
- A Multi-Core Solver for Parity Games (Q5415659) (← links)
- Solving Parity Games in Big Steps (Q5458856) (← links)