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

Bibliografske podrobnosti
Main Authors:	Benerecetti, M, Dell Erba, D, Mogavero, F
Format:	Conference item
Izdano:	Springer 2016

Podobne knjige/članki

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

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

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

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

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

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

Local Strategy Improvement for Parity Game Solving
od: Oliver Friedmann, et al.
Izdano: (2010-06-01)

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

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

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

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

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

Hierarchical cost-parity games
od: Bozzelli, L, et al.
Izdano: (2017)

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

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

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

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

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

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

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

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

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

A Comparison of BDD-Based Parity Game Solvers
od: Lisette Sanchez, et al.
Izdano: (2018-09-01)

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

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

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

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

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
od: Gijs Kant, et al.
Izdano: (2012-10-01)

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

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

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

PRIORITY PROGRAM OF UNEMPLOYMENT PROBLEM SOLVING IN PATI REGENCY
od: Erni Arivia Arivia Roseline, et al.
Izdano: (2017-06-01)

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

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
od: Felix Canavoi, et al.
Izdano: (2012-10-01)

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

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

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

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

Solving coalitional resource games.
od: Dunne, P, et al.
Izdano: (2010)

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