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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Benerecetti, M, Dell Erba, D, Mogavero, F
Fformat:	Conference item
Cyhoeddwyd:	Springer 2016

Eitemau Tebyg

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

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

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

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

Generating and Solving Symbolic Parity Games
gan: Gijs Kant, et al.
Cyhoeddwyd: (2014-07-01)

Simple Fixpoint Iteration To Solve Parity Games
gan: Tom van Dijk, et al.
Cyhoeddwyd: (2019-09-01)

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

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

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

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

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

Hierarchical cost-parity games
gan: Bozzelli, L, et al.
Cyhoeddwyd: (2017)

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

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

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

The Fixpoint-Iteration Algorithm for Parity Games
gan: Florian Bruse, et al.
Cyhoeddwyd: (2014-08-01)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Solving coalitional resource games.
gan: Dunne, P, et al.
Cyhoeddwyd: (2010)

Weak Parity
gan: Aaronson, Scott, et al.
Cyhoeddwyd: (2015)

parity and atherosclerosis
gan: riadh abdul razzaq
Cyhoeddwyd: (2005-10-01)

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

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

Parity objectives in countable MDPs
gan: Kiefer, S, et al.
Cyhoeddwyd: (2017)