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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Benerecetti, M, Dell Erba, D, Mogavero, F
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 2016

Míreanna comhchosúla

Improving Priority Promotion for Parity Games
de réir: Benerecetti, M, et al.
Foilsithe / Cruthaithe: (2016)

A delayed promotion policy for parity games
de réir: Benerecetti, M, et al.
Foilsithe / Cruthaithe: (2016)

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games
de réir: Massimo Benerecetti, et al.
Foilsithe / Cruthaithe: (2017-09-01)

Smaller progress measures and separating automata for parity games
de réir: Daniele Dell'Erba, et al.
Foilsithe / Cruthaithe: (2022-09-01)

Solving parity games using an automata-based algorithm
de réir: Di Stasio, A, et al.
Foilsithe / Cruthaithe: (2016)

A Recursive Approach to Solving Parity Games in Quasipolynomial Time
de réir: Karoliina Lehtinen, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Parity Games with Weights
de réir: Sven Schewe, et al.
Foilsithe / Cruthaithe: (2019-08-01)

Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds
de réir: Véronique Bruyère, et al.
Foilsithe / Cruthaithe: (2016-09-01)

DAG−Width and Parity Games
de réir: Berwanger, D, et al.
Foilsithe / Cruthaithe: (2006)

Hierarchical cost-parity games
de réir: Bozzelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Parity and Streett Games with Costs
de réir: Nathanaël Fijalkow, et al.
Foilsithe / Cruthaithe: (2014-06-01)

The Rabin index of parity games
de réir: Michael Huth, et al.
Foilsithe / Cruthaithe: (2013-07-01)

Timed Parity Games: Complexity and Robustness
de réir: Krishnendu Chatterjee, et al.
Foilsithe / Cruthaithe: (2011-12-01)

A reduction from parity games to simple stochastic games
de réir: Krishnendu Chatterjee, et al.
Foilsithe / Cruthaithe: (2011-06-01)

Stochastic Parity Games on Lossy Channel Systems
de réir: Parosh Aziz Abdulla, et al.
Foilsithe / Cruthaithe: (2015-01-01)

Playing Pushdown Parity Games in a Hurry
de réir: Wladimir Fridman, et al.
Foilsithe / Cruthaithe: (2012-10-01)

A Parity Game Tale of Two Counters
de réir: Tom van Dijk
Foilsithe / Cruthaithe: (2019-09-01)

Improved iterative methods for solving risk parity portfolio
de réir: Jaehyuk Choi, et al.
Foilsithe / Cruthaithe: (2022-04-01)

Winning Regions of Pushdown Parity Games: A Saturation Method
de réir: Hague, M, et al.
Foilsithe / Cruthaithe: (2009)

Winning Regions of Pushdown Parity Games: A Saturation Method
de réir: Hague, M, et al.
Foilsithe / Cruthaithe: (2009)

Global health education for the post-pandemic years: parity, people, planet, priorities, and practices
de réir: Kathryn H. Jacobsen, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Down the Borel Hierarchy: Solving Muller Games via Safety Games
de réir: Daniel Neider, et al.
Foilsithe / Cruthaithe: (2012-10-01)

Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width
de réir: John Fearnley, et al.
Foilsithe / Cruthaithe: (2013-06-01)

Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
de réir: Alexander Weinert, et al.
Foilsithe / Cruthaithe: (2017-09-01)

Quantitative Fairness Games
de réir: Alessandro Bianco, et al.
Foilsithe / Cruthaithe: (2010-06-01)

Solving Linear Tensor Equations II: Including Parity Odd Terms in Four Dimensions
de réir: Damianos Iosifidis
Foilsithe / Cruthaithe: (2022-05-01)

Generating magnon Bell states via parity measurement
de réir: Jia-shun Yan, et al.
Foilsithe / Cruthaithe: (2024-06-01)

Approaches to Promote Gender Parity in Parliamentary Representation in Germany and France
de réir: Thomas Schmitz
Foilsithe / Cruthaithe: (2023-10-01)

Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction
de réir: Williams, Richard Ryan, et al.
Foilsithe / Cruthaithe: (2021)

Positional Determinacy of Games with Infinitely Many Priorities
de réir: Erich Graedel, et al.
Foilsithe / Cruthaithe: (2006-11-01)

Career guidance as a priority in solving the personnel problem in healthcare
de réir: V. M. Chernyshev, et al.
Foilsithe / Cruthaithe: (2021-03-01)

Solving coalitional resource games.
de réir: Dunne, P, et al.
Foilsithe / Cruthaithe: (2010)

Weak Parity
de réir: Aaronson, Scott, et al.
Foilsithe / Cruthaithe: (2015)

parity and atherosclerosis
de réir: riadh abdul razzaq
Foilsithe / Cruthaithe: (2005-10-01)

MEASUREMENT OF ETA'-SPIN PARITY
de réir: Cerrada, M, et al.
Foilsithe / Cruthaithe: (1977)

Parity objectives in countable MDPs
de réir: Kiefer, S, et al.
Foilsithe / Cruthaithe: (2017)

Solving singular evolution problems in sub-Riemannian groups via deterministic games
de réir: Pablo Ochoa, et al.
Foilsithe / Cruthaithe: (2021-06-01)

Parity Violation in the NN System
de réir: Schindler M.J., et al.
Foilsithe / Cruthaithe: (2010-04-01)

Blackwell-Optimal Strategies in Priority Mean-Payoff Games
de réir: Hugo Gimbert, et al.
Foilsithe / Cruthaithe: (2010-06-01)

Parity Theorems Revisited: An Ardl Bound Test With Non-parity Factors
de réir: Mohamed Ariff, Mohamed Ariff, et al.
Foilsithe / Cruthaithe: (2015)