activity
20162021
most citedBounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants

2 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

cs.MA2017

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…

math.LO2017

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…