2 citations · 4 across the 3 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 2 cited
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants
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…
cs.GT2020★ 1 cited
Optimal protocols for the most difficult repeated coordination games
Antti Kuusisto, Raine Rönnholm
This paper investigates repeated win-lose coordination games (WLC-games). We analyse which protocols are optimal for these games covering both the worst case and average case scena…