Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials

Erich Grädel, Niels Lücking, Matthias Naaf

This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in Büchi games. Semiring semantics generalizes the…