4 citations · 4 across the 1 of their papers we have counts for
1 paper
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…