4 citations · 4 across the 2 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021★ 4 cited
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…
cs.LO2021
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…
cs.LO2021
Computing Least and Greatest Fixed Points in Absorptive Semirings
Matthias Naaf
We present two methods to algorithmically compute both least and greatest solutions of polynomial equation systems over absorptive semirings (with certain completeness and continui…