An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
From MaRDI portal
Recommendations
Cited in
(45)- An improved heuristic for the ``Ulam-Rényi game
- Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
- Strategy optimization for static games based on STP method
- Solving parity games via priority promotion
- A delayed promotion policy for parity games
- Efficient parallel strategy improvement for parity games
- Robust worst cases for parity games algorithms
- A global optimization algorithm for solving a four-person game
- A superpolynomial lower bound for strategy iteration based on snare memorization
- Solving parity games using an automata-based algorithm
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- Non-oblivious strategy improvement
- Recursive algorithm for parity games requires exponential time
- The mu-calculus and Model Checking
- Graph Games and Reactive Synthesis
- From Parity and Payoff Games to Linear Programming
- Symmetric strategy improvement
- scientific article; zbMATH DE number 5292473 (Why is no real title available?)
- Strategy Construction for Parity Games with Imperfect Information
- Solving parity games in practice
- On an algorithm for successive improvement of a strategy
- The complexity of all-switches strategy improvement
- Incentive Stackelberg mean-payoff games
- The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
- Improvement in small progress measures
- Partial solvers for parity games: effective polynomial-time composition
- A delayed promotion policy for parity games
- scientific article; zbMATH DE number 7533361 (Why is no real title available?)
- Local strategy improvement for parity game solving
- Solving mean-payoff games via quasi dominions
- scientific article; zbMATH DE number 3892974 (Why is no real title available?)
- Parity games with weights
- Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
- scientific article; zbMATH DE number 6790166 (Why is no real title available?)
- Tropical Linear Regression and Mean Payoff Games: Or, How to Measure the Distance to Equilibria
- Justifications and a reconstruction of parity game solving algorithms
- Solving mean-payoff games via quasi dominions
- A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties
- Priority promotion with Parysian flair
- An objective improvement approach to solving discounted payoff games
- The worst-case complexity of symmetric strategy improvement
- An objective improvement approach to solving discounted payoff games
- Solving odd-fair parity games
- Beyond value iteration for parity games: strategy iteration with universal trees
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
This page was built for publication: An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540191)
