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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Benerecetti, M, Dell Erba, D, Mogavero, F
Định dạng:	Conference item
Được phát hành:	Springer 2016

Những quyển sách tương tự

Improving Priority Promotion for Parity Games
Bằng: Benerecetti, M, et al.
Được phát hành: (2016)

A delayed promotion policy for parity games
Bằng: Benerecetti, M, et al.
Được phát hành: (2016)

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games
Bằng: Massimo Benerecetti, et al.
Được phát hành: (2017-09-01)

Smaller progress measures and separating automata for parity games
Bằng: Daniele Dell'Erba, et al.
Được phát hành: (2022-09-01)

Solving parity games using an automata-based algorithm
Bằng: Di Stasio, A, et al.
Được phát hành: (2016)

A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Bằng: Karoliina Lehtinen, et al.
Được phát hành: (2022-01-01)

Parity Games with Weights
Bằng: Sven Schewe, et al.
Được phát hành: (2019-08-01)

Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds
Bằng: Véronique Bruyère, et al.
Được phát hành: (2016-09-01)

DAG−Width and Parity Games
Bằng: Berwanger, D, et al.
Được phát hành: (2006)

Hierarchical cost-parity games
Bằng: Bozzelli, L, et al.
Được phát hành: (2017)

Parity and Streett Games with Costs
Bằng: Nathanaël Fijalkow, et al.
Được phát hành: (2014-06-01)

The Rabin index of parity games
Bằng: Michael Huth, et al.
Được phát hành: (2013-07-01)

Timed Parity Games: Complexity and Robustness
Bằng: Krishnendu Chatterjee, et al.
Được phát hành: (2011-12-01)

A reduction from parity games to simple stochastic games
Bằng: Krishnendu Chatterjee, et al.
Được phát hành: (2011-06-01)

Stochastic Parity Games on Lossy Channel Systems
Bằng: Parosh Aziz Abdulla, et al.
Được phát hành: (2015-01-01)

Playing Pushdown Parity Games in a Hurry
Bằng: Wladimir Fridman, et al.
Được phát hành: (2012-10-01)

A Parity Game Tale of Two Counters
Bằng: Tom van Dijk
Được phát hành: (2019-09-01)

Improved iterative methods for solving risk parity portfolio
Bằng: Jaehyuk Choi, et al.
Được phát hành: (2022-04-01)

Winning Regions of Pushdown Parity Games: A Saturation Method
Bằng: Hague, M, et al.
Được phát hành: (2009)

Winning Regions of Pushdown Parity Games: A Saturation Method
Bằng: Hague, M, et al.
Được phát hành: (2009)

Global health education for the post-pandemic years: parity, people, planet, priorities, and practices
Bằng: Kathryn H. Jacobsen, et al.
Được phát hành: (2022-01-01)

Down the Borel Hierarchy: Solving Muller Games via Safety Games
Bằng: Daniel Neider, et al.
Được phát hành: (2012-10-01)

Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width
Bằng: John Fearnley, et al.
Được phát hành: (2013-06-01)

Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Bằng: Alexander Weinert, et al.
Được phát hành: (2017-09-01)

Quantitative Fairness Games
Bằng: Alessandro Bianco, et al.
Được phát hành: (2010-06-01)

Solving Linear Tensor Equations II: Including Parity Odd Terms in Four Dimensions
Bằng: Damianos Iosifidis
Được phát hành: (2022-05-01)

Generating magnon Bell states via parity measurement
Bằng: Jia-shun Yan, et al.
Được phát hành: (2024-06-01)

Approaches to Promote Gender Parity in Parliamentary Representation in Germany and France
Bằng: Thomas Schmitz
Được phát hành: (2023-10-01)

Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction
Bằng: Williams, Richard Ryan, et al.
Được phát hành: (2021)

Positional Determinacy of Games with Infinitely Many Priorities
Bằng: Erich Graedel, et al.
Được phát hành: (2006-11-01)

Career guidance as a priority in solving the personnel problem in healthcare
Bằng: V. M. Chernyshev, et al.
Được phát hành: (2021-03-01)

Solving coalitional resource games.
Bằng: Dunne, P, et al.
Được phát hành: (2010)

Weak Parity
Bằng: Aaronson, Scott, et al.
Được phát hành: (2015)

parity and atherosclerosis
Bằng: riadh abdul razzaq
Được phát hành: (2005-10-01)

MEASUREMENT OF ETA'-SPIN PARITY
Bằng: Cerrada, M, et al.
Được phát hành: (1977)

Parity objectives in countable MDPs
Bằng: Kiefer, S, et al.
Được phát hành: (2017)

Parity Violation in the NN System
Bằng: Schindler M.J., et al.
Được phát hành: (2010-04-01)

Blackwell-Optimal Strategies in Priority Mean-Payoff Games
Bằng: Hugo Gimbert, et al.
Được phát hành: (2010-06-01)

Parity Theorems Revisited: An Ardl Bound Test With Non-parity Factors
Bằng: Mohamed Ariff, Mohamed Ariff, et al.
Được phát hành: (2015)

Parity theorems revisited: an ARDL bound test with non-parity factors
Bằng: Syed Mohamed, Mohamed Ariff, et al.
Được phát hành: (2015)