31 citations · 101 across the 14 of their papers we have counts for
1 paper · 1 filter
Lauri Hella, Antti Kuusisto, Raine Rönnholm
We introduce a new game-theoretic semantics (GTS) for the modal mu-calculus. Our so-called bounded GTS replaces parity games with alternative evaluation games where only finite pat…