Parameterized Algorithms for Parity Games

Abstract

Determining the winner of a Parity Game is a major problem in computational complexity with a number of applications in verification. In a parameterized complexity setting, the problem has often been considered with parameters such as (directed versions of) treewidth or clique-width, by applying dynamic programming techniques. In this paper we adopt a… (More)
DOI: 10.1007/978-3-662-48054-0_28

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

020406020162017
Citations per Year

Citation Velocity: 15

Averaging 15 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics