Raine Rönnholm

29 papers A* 1A 3C 3Journal 17Unranked 4
YearRankTypeTitle / Venue / Authors
2023 A* conf
How to Manage a Budget with ATL+.
KR
Stéphane Demri, Raine Rönnholm
2023 J jnl
The optimal way to play the most difficult repeated two-player coordination games.
Discret. Appl. Math.
Antti Kuusisto, Raine Rönnholm
2022 J jnl
Bounded game-theoretic semantics for modal mu-calculus.
Inf. Comput.
Lauri Hella, Antti Kuusisto, Raine Rönnholm
2022 J jnl
On definability of team relations with
Ann. Pure Appl. Log.
Raine Rönnholm
2021 J jnl
Game-theoretic semantics for ATL
Inf. Comput.
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2021 J jnl
Independence-friendly logic without Henkin quantification.
Arch. Math. Log.
Fausto Barbero, Lauri Hella, Raine Rönnholm
2021 — conf
The Optimal Way to Play the Most Difficult Repeated Coordination Games.
GandALF
Antti Kuusisto, Raine Rönnholm
2020 — conf
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants.
GandALF
Lauri Hella, Antti Kuusisto, Raine Rönnholm
2020 A conf
Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games.
ECAI
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2020 J jnl
Optimal protocols for the most difficult repeated coordination games.
CoRR
Antti Kuusisto, Raine Rönnholm
2020 J jnl
Rational coordination with no communication or conventions.
J. Log. Comput.
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2019 J jnl
Alternating-time temporal logic ATL with finitely bounded semantics.
Theor. Comput. Sci.
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2019 J jnl
The expressive power of
Ann. Pure Appl. Log.
Raine Rönnholm
2018 — —
Arity Fragments of Logics with Team Semantics ; Paikkalukujen määräämät alilogiikat tiimisemantiikassa.
Raine Rönnholm
2018 J jnl
Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic.
Ann. Pure Appl. Log.
Raine Rönnholm
2018 J jnl
Game-Theoretic Semantics for Alternating-Time Temporal Logic.
ACM Trans. Comput. Log.
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017 J jnl
Bounded game-theoretic semantics for modal mu-calculus.
CoRR
Lauri Hella, Antti Kuusisto, Raine Rönnholm
2017 C conf
CTL with Finitely Bounded Semantics.
TIME
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017 A conf
Game-Theoretic Semantics for ATL+ with Applications to Model Checking.
AAMAS
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017 J jnl
Game-Theoretic Semantics for ATL+ with Applications to Model Checking.
CoRR
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017 C conf
Independence-Friendly Logic Without Henkin Quantification.
WoLLIC
Fausto Barbero, Lauri Hella, Raine Rönnholm
2017 — conf
Rational Coordination in Games with Enriched Representations.
EUMAS/AT
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017 — conf
Rational Coordination with no Communication or Conventions.
LORI
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017 J jnl
Rational coordination with no communication or conventions.
CoRR
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2016 A conf
Game-Theoretic Semantics for Alternating-Time Temporal Logic.
AAMAS
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2016 J jnl
Game-Theoretic Semantics for Alternating-Time Temporal Logic.
CoRR
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2016 C conf
The Expressive Power of k-ary Exclusion Logic.
WoLLIC
Raine Rönnholm
2016 J jnl
The Expressive Power of k-ary Exclusion Logic.
CoRR
Raine Rönnholm
2015 J jnl
Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic.
CoRR
Raine Rönnholm