2 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.GT2021★ 1 cited
The Optimal Way to Play 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 scen…
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…