Raine Rönnholm

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 28

Top Topics

Nash Equilibria

Regret Minimization

Top Venues

Ann. Pure Appl. Log.

Publications

Antti Kuusisto, Raine Rönnholm
The optimal way to play the most difficult repeated two-player coordination games. Discret. Appl. Math. 339 (2023)
Stéphane Demri, Raine Rönnholm
How to Manage a Budget with ATL+. KR (2023)
Lauri Hella, Antti Kuusisto, Raine Rönnholm
Bounded game-theoretic semantics for modal mu-calculus. Inf. Comput. 289 (Part) (2022)
Raine Rönnholm
-invariant atoms. Ann. Pure Appl. Log. 173 (10) (2022)
Antti Kuusisto, Raine Rönnholm
The Optimal Way to Play the Most Difficult Repeated Coordination Games. GandALF (2021)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
with applications to model checking. Inf. Comput. 276 (2021)
Fausto Barbero, Lauri Hella, Raine Rönnholm
Independence-friendly logic without Henkin quantification. Arch. Math. Log. 60 (5) (2021)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. ECAI (2020)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational coordination with no communication or conventions. J. Log. Comput. 30 (6) (2020)
Lauri Hella, Antti Kuusisto, Raine Rönnholm
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants. GandALF (2020)
Antti Kuusisto, Raine Rönnholm
Optimal protocols for the most difficult repeated coordination games. CoRR (2020)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Alternating-time temporal logic ATL with finitely bounded semantics. Theor. Comput. Sci. 797 (2019)
Raine Rönnholm
-ary exclusion logic. Ann. Pure Appl. Log. 170 (9) (2019)
Raine Rönnholm
Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic. Ann. Pure Appl. Log. 169 (3) (2018)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. ACM Trans. Comput. Log. 19 (3) (2018)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational coordination with no communication or conventions. CoRR (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational Coordination in Games with Enriched Representations. EUMAS/AT (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
CTL with Finitely Bounded Semantics. TIME (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational Coordination with no Communication or Conventions. LORI (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. AAMAS (2017)
Lauri Hella, Antti Kuusisto, Raine Rönnholm
Bounded game-theoretic semantics for modal mu-calculus. CoRR (2017)
Fausto Barbero, Lauri Hella, Raine Rönnholm
Independence-Friendly Logic Without Henkin Quantification. WoLLIC (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. CoRR (2017)
Raine Rönnholm
The Expressive Power of k-ary Exclusion Logic. WoLLIC (2016)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. AAMAS (2016)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. CoRR (2016)
Raine Rönnholm
The Expressive Power of k-ary Exclusion Logic. CoRR (2016)
Raine Rönnholm
Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic. CoRR (2015)