Partial Solvers for Generalized Parity Games

07/16/2019
by   Véronique Bruyère, et al.
0

Parity games have been broadly studied in recent years for their applications to controller synthesis and verification. In practice, partial solvers for parity games that execute in polynomial time, while incomplete, can solve most games in publicly available benchmark suites. In this paper, we combine those partial solvers with the classical recursive algorithm for parity games due to Zielonka. We also extend partial solvers to generalized parity games that are games with conjunction of parity objectives or disjunction of parity objectives. We have implemented those algorithms and evaluated them on a large set of benchmarks proposed in the last LTL synthesis competition.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/10/2018

A Comparison of BDD-Based Parity Game Solvers

Parity games are two player games with omega-winning conditions, played ...
research
10/18/2022

Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract)

Solving parity games is a major building block for numerous applications...
research
01/11/2018

Oink: an Implementation and Evaluation of Modern Parity Game Solvers

Parity games have important practical applications in formal verificatio...
research
09/23/2020

Symbolic Parity Game Solvers that Yield Winning Strategies

Parity games play an important role for LTL synthesis as evidenced by re...
research
01/24/2022

On-The-Fly Solving for Symbolic Parity Games

Parity games can be used to represent many different kinds of decision p...
research
05/08/2018

Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

We give a direct polynomial-time reduction from parity games played over...
research
01/18/2021

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP

We study stochastic games with energy-parity objectives, which combine q...

Please sign up or login with your details

Forgot password? Click here to reset