Pages that link to "Item:Q3395043"
From MaRDI portal
The following pages link to A Deterministic Subexponential Algorithm for Solving Parity Games (Q3395043):
Displaying 24 items.
- Solving parity games in big steps (Q340584) (← links)
- Parity games on undirected graphs (Q456183) (← links)
- Mean-payoff games and propositional proofs (Q716324) (← links)
- Extending finite-memory determinacy to multi-player games (Q1641036) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- New deterministic algorithms for solving parity games (Q1756345) (← 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)
- Hierarchical cost-parity games (Q2210523) (← links)
- An accretive operator approach to ergodic zero-sum stochastic games (Q2274616) (← links)
- A game theory approach to the existence and uniqueness of nonlinear Perron-Frobenius eigenvectors (Q2281568) (← links)
- Solving Parity Games Using an Automata-Based Algorithm (Q2830208) (← links)
- TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES (Q2882394) (← links)
- ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH (Q2909221) (← links)
- Parameterized Algorithms for Parity Games (Q2946404) (← links)
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games (Q2961570) (← links)
- Many-one reductions and the category of multivalued functions (Q2973252) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- From Parity and Payoff Games to Linear Programming (Q3182965) (← links)
- (Q3384167) (← links)
- (Q5079761) (← links)
- Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time (Q5092368) (← links)
