Solving parity games via priority promotion

Solving parity games via priority promotion

We consider parity games, a special form of two-player infinite-duration games on numerically labelled graphs, whose winning condition requires that the maximal value of a label occurring infinitely often during a play be of some specific parity. The problem has a rather intriguing status from a com...

Descripció completa

Dades bibliogràfiques
Autors principals:	Benerecetti, M, Dell Erba, D, Mogavero, F
Format:	Conference item
Publicat:	Springer 2016

Ítems similars

Improving Priority Promotion for Parity Games
per: Benerecetti, M, et al.
Publicat: (2016)

A delayed promotion policy for parity games
per: Benerecetti, M, et al.
Publicat: (2016)

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games
per: Massimo Benerecetti, et al.
Publicat: (2017-09-01)

Smaller progress measures and separating automata for parity games
per: Daniele Dell'Erba, et al.
Publicat: (2022-09-01)

Solving parity games using an automata-based algorithm
per: Di Stasio, A, et al.
Publicat: (2016)

A Recursive Approach to Solving Parity Games in Quasipolynomial Time
per: Karoliina Lehtinen, et al.
Publicat: (2022-01-01)

Parity Games with Weights
per: Sven Schewe, et al.
Publicat: (2019-08-01)

Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds
per: Véronique Bruyère, et al.
Publicat: (2016-09-01)

DAG−Width and Parity Games
per: Berwanger, D, et al.
Publicat: (2006)

Hierarchical cost-parity games
per: Bozzelli, L, et al.
Publicat: (2017)

Parity and Streett Games with Costs
per: Nathanaël Fijalkow, et al.
Publicat: (2014-06-01)

The Rabin index of parity games
per: Michael Huth, et al.
Publicat: (2013-07-01)

Timed Parity Games: Complexity and Robustness
per: Krishnendu Chatterjee, et al.
Publicat: (2011-12-01)

A reduction from parity games to simple stochastic games
per: Krishnendu Chatterjee, et al.
Publicat: (2011-06-01)

Stochastic Parity Games on Lossy Channel Systems
per: Parosh Aziz Abdulla, et al.
Publicat: (2015-01-01)

Playing Pushdown Parity Games in a Hurry
per: Wladimir Fridman, et al.
Publicat: (2012-10-01)

A Parity Game Tale of Two Counters
per: Tom van Dijk
Publicat: (2019-09-01)

Improved iterative methods for solving risk parity portfolio
per: Jaehyuk Choi, et al.
Publicat: (2022-04-01)

Winning Regions of Pushdown Parity Games: A Saturation Method
per: Hague, M, et al.
Publicat: (2009)

Winning Regions of Pushdown Parity Games: A Saturation Method
per: Hague, M, et al.
Publicat: (2009)

Global health education for the post-pandemic years: parity, people, planet, priorities, and practices
per: Kathryn H. Jacobsen, et al.
Publicat: (2022-01-01)

Down the Borel Hierarchy: Solving Muller Games via Safety Games
per: Daniel Neider, et al.
Publicat: (2012-10-01)

Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width
per: John Fearnley, et al.
Publicat: (2013-06-01)

Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
per: Alexander Weinert, et al.
Publicat: (2017-09-01)

Quantitative Fairness Games
per: Alessandro Bianco, et al.
Publicat: (2010-06-01)

Solving Linear Tensor Equations II: Including Parity Odd Terms in Four Dimensions
per: Damianos Iosifidis
Publicat: (2022-05-01)

Generating magnon Bell states via parity measurement
per: Jia-shun Yan, et al.
Publicat: (2024-06-01)

Approaches to Promote Gender Parity in Parliamentary Representation in Germany and France
per: Thomas Schmitz
Publicat: (2023-10-01)

Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction
per: Williams, Richard Ryan, et al.
Publicat: (2021)

Positional Determinacy of Games with Infinitely Many Priorities
per: Erich Graedel, et al.
Publicat: (2006-11-01)

Career guidance as a priority in solving the personnel problem in healthcare
per: V. M. Chernyshev, et al.
Publicat: (2021-03-01)

Solving coalitional resource games.
per: Dunne, P, et al.
Publicat: (2010)

Weak Parity
per: Aaronson, Scott, et al.
Publicat: (2015)

parity and atherosclerosis
per: riadh abdul razzaq
Publicat: (2005-10-01)

MEASUREMENT OF ETA'-SPIN PARITY
per: Cerrada, M, et al.
Publicat: (1977)

Solving singular evolution problems in sub-Riemannian groups via deterministic games
per: Pablo Ochoa, et al.
Publicat: (2021-06-01)

Parity objectives in countable MDPs
per: Kiefer, S, et al.
Publicat: (2017)

Parity Violation in the NN System
per: Schindler M.J., et al.
Publicat: (2010-04-01)

Blackwell-Optimal Strategies in Priority Mean-Payoff Games
per: Hugo Gimbert, et al.
Publicat: (2010-06-01)

Parity Theorems Revisited: An Ardl Bound Test With Non-parity Factors
per: Mohamed Ariff, Mohamed Ariff, et al.
Publicat: (2015)