Parity games with weights
From MaRDI portal
Publication:5232902
Authors: Sven Schewe, Alexander Weinert, Martín G. Zimmermann 
Publication date: 13 September 2019
Full work available at URL: https://arxiv.org/abs/1804.06168
Recommendations
Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving topology, set theory, or logic (91A44)
Cites Work
- The complexity of mean payoff games on graphs
- Borel determinacy
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Title not available (Why is that?)
- Results on the propositional \(\mu\)-calculus
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Infinite games played on finite graphs
- An improved algorithm for the evaluation of fixpoint expressions
- Title not available (Why is that?)
- A Deterministic Subexponential Algorithm for Solving Parity Games
- Solving parity games in big steps
- Title not available (Why is that?)
- A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
- Energy parity games
- An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
- Infinite-state games with finitary conditions
- A pseudo-quasi-polynomial algorithm for mean-payoff parity games
- Tools and Algorithms for the Construction and Analysis of Systems
- McNaughton games and extracting strategies for concurrent programs
- Parity and Streett games with costs
- Deciding parity games in quasipolynomial time
- Symmetric strategy improvement
- On promptness in parity games
- Title not available (Why is that?)
- A modal \(\mu\) perspective on solving parity games in quasi-polynomial time
- Parity games with weights
Cited In (12)
- Optimal strategies in weighted limit games
- Energy parity games
- Easy to win, hard to master: optimal strategies in parity games with costs
- Parity games with weights
- Parity and Streett games with costs
- Solving counter parity games
- Mathematical Foundations of Computer Science 2005
- On weighted balls-into-bins games
- New algorithms for combinations of objectives using separating automata
- Cooking Your Own Parity Game Preorders Through Matching Plays
- Cost-parity and cost-Streett games
- Title not available (Why is that?)
This page was built for publication: Parity games with weights
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5232902)
