2 citations · 4 across the 3 of their papers we have counts for
6 papers
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…
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…
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…
Rational coordination with no communication or conventions
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
We study pure coordination games where in every outcome, all players have identical payoffs, 'win' or 'lose'. We identify and discuss a range of 'purely rational principles' guidin…
Game-Theoretic Semantics for ATL+ with Applications to Model Checking
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
We develop game-theoretic semantics (GTS) for the fragment ATL+ of the full Alternating-time Temporal Logic ATL*, essentially extending a recently introduced GTS for ATL. We first…
Game-Theoretic Semantics for Alternating-Time Temporal Logic
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
We introduce versions of game-theoretic semantics (GTS) for Alternating-Time Temporal Logic (ATL). In GTS, truth is defined in terms of existence of a winning strategy in a semanti…