Deciding parity games in quasipolynomial time
From MaRDI portal
Publication:4977976
Recommendations
Cited in
(91)- The GKK algorithm is the fastest over simple mean-payoff games
- Finite-state strategies in delay games
- Approximating the minimal lookahead needed to win infinite games
- Synthesizing optimally resilient controllers
- Parity to safety in polynomial time for pushdown and collapsible pushdown systems
- An existence theorem of Nash equilibrium in Coq and Isabelle
- scientific article; zbMATH DE number 7447737 (Why is no real title available?)
- Parity games with weights
- Quasipolynomial computation of nested fixpoints
- scientific article; zbMATH DE number 7447732 (Why is no real title available?)
- scientific article; zbMATH DE number 7649933 (Why is no real title available?)
- Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
- Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games
- scientific article; zbMATH DE number 7649927 (Why is no real title available?)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- scientific article; zbMATH DE number 7445162 (Why is no real title available?)
- Synthesis of Data Word Transducers
- Controlling a population
- Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width
- Deciding Parity Games in Quasi-polynomial Time
- A convex programming-based algorithm for mean payoff stochastic games with perfect information
- A modal \(\mu\) perspective on solving parity games in quasi-polynomial time
- Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives
- \(\aleph_1\) and the modal \(\mu\)-calculus
- Universal algorithms for parity games and nested fixpoints
- A Deterministic Subexponential Algorithm for Solving Parity Games
- scientific article; zbMATH DE number 7453080 (Why is no real title available?)
- Synthesizing Optimally Resilient Controllers
- On the complexity of rational verification
- Computing the width of non-deterministic automata
- The complexity of all-switches strategy improvement
- Timed games with bounded window parity objectives
- scientific article; zbMATH DE number 7649926 (Why is no real title available?)
- Width of non-deterministic automata
- A cure for stuttering parity games
- Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
- Reachability games and parity games
- Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games
- Cooking Your Own Parity Game Preorders Through Matching Plays
- On the Way to Alternating Weak Automata
- scientific article; zbMATH DE number 7455738 (Why is no real title available?)
- Linear temporal logic -- from infinite to finite horizon
- An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
- Infinite-duration poorman-bidding games
- The Theory of Universal Graphs for Infinite Duration Games
- Improving parity games in practice
- Solving parity games via priority promotion
- Window parity games: an alternative approach toward parity games with time bounds
- Time and parallelizability results for parity games with bounded treewidth
- Bounded game-theoretic semantics for modal mu-calculus
- Game-based local model checking for the coalgebraic \(\mu\)-calculus
- scientific article; zbMATH DE number 7559481 (Why is no real title available?)
- A computation model with automatic functions and relations as primitive operations
- Robust, expressive, and quantitative linear temporal logics: pick any two for free
- Alternating traps in Muller and parity games
- scientific article; zbMATH DE number 7533361 (Why is no real title available?)
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- A delayed promotion policy for parity games
- Succinct progress measures for solving parity games
- A brief excursion to parity games
- Justifications and a reconstruction of parity game solving algorithms
- Approximation schemes for stochastic mean payoff games with perfect information and few random positions
- Abstract tropical linear programming
- A faster deterministic exponential time algorithm for energy games and mean payoff games
- Hyperplane separation technique for multidimensional mean-payoff games
- Finite-state strategies in delay games
- Robust worst cases for parity games algorithms
- Improved complexity analysis of quasi-polynomial algorithms solving parity games
- Church synthesis on register automata over linearly ordered data domains
- Priority promotion with Parysian flair
- Perspective games
- Combinations of Qualitative Winning for Stochastic Parity Games
- A survey on satisfiability checking for the \(\mu \)-calculus through tree automata
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
- New algorithms for combinations of objectives using separating automata
- On the size of disjunctive formulas in the \(\mu\)-calculus
- Size measures and alphabetic equivalence in the \(\mu \)-calculus
- On Nash-solvability of \(n\)-person graphical games under Markov and a-priori realizations
- Büchi Good-for-Games Automata Are Efficiently Recognizable
- On-the-fly solving for symbolic parity games
- Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata
- Complexity results for modal logic with recursion via translations and tableaux
- Operations on fixpoint equation systems
- scientific article; zbMATH DE number 7089067 (Why is no real title available?)
- scientific article; zbMATH DE number 7559118 (Why is no real title available?)
- scientific article; zbMATH DE number 7649916 (Why is no real title available?)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
- Parity games on temporal graphs
- Symbolic solution of Emerson-Lei games for reactive synthesis
- Synthesis with privacy against an observer
- Adaptive strategies for rLTL games
This page was built for publication: Deciding parity games in quasipolynomial time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4977976)
