Raine Rönnholm

According to our database, Raine Rönnholm authored at least 20 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

The optimal way to play the most difficult repeated two-player coordination games.

Antti Kuusisto, Raine Rönnholm

Discret. Appl. Math., November, 2023

How to Manage a Budget with ATL+.

Stéphane Demri, Raine Rönnholm

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

Bounded game-theoretic semantics for modal mu-calculus.

Lauri Hella, Antti Kuusisto, Raine Rönnholm

Inf. Comput., 2022

On definability of team relations with <i>k</i>-invariant atoms.

Raine Rönnholm

Ann. Pure Appl. Log., 2022

2021

Game-theoretic semantics for ATL⁺ with applications to model checking.

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

Inf. Comput., 2021

The Optimal Way to Play the Most Difficult Repeated Coordination Games.

Antti Kuusisto, Raine Rönnholm

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Independence-friendly logic without Henkin quantification.

Fausto Barbero, Lauri Hella, Raine Rönnholm

Arch. Math. Log., 2021

2020

Rational coordination with no communication or conventions.

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

J. Log. Comput., 2020

Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants.

Lauri Hella, Antti Kuusisto, Raine Rönnholm

Proceedings of the Proceedings 11th International Symposium on Games, 2020

Optimal protocols for the most difficult repeated coordination games.

Antti Kuusisto, Raine Rönnholm

CoRR, 2020

Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games.

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Alternating-time temporal logic ATL with finitely bounded semantics.

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

Theor. Comput. Sci., 2019

The expressive power of <i>k</i>-ary exclusion logic.

Raine Rönnholm

Ann. Pure Appl. Log., 2019

2018

Arity Fragments of Logics with Team Semantics ; Paikkalukujen määräämät alilogiikat tiimisemantiikassa.

Raine Rönnholm

PhD thesis, 2018

Game-Theoretic Semantics for Alternating-Time Temporal Logic.

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

ACM Trans. Comput. Log., 2018

Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic.

Raine Rönnholm

Ann. Pure Appl. Log., 2018

2017

CTL with Finitely Bounded Semantics.

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Rational Coordination in Games with Enriched Representations.

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

Game-Theoretic Semantics for ATL+ with Applications to Model Checking.

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

The Expressive Power of k-ary Exclusion Logic.

Raine Rönnholm

Proceedings of the Logic, Language, Information, and Computation, 2016