| 2026 | CONCUR | Positional Determinacy with Colored Vertices: A 1-To-2-Player Lift. | Raphal Berthon, Stphane Le Roux |
| 2025 | CONCUR | A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games. | Raphal Berthon, Joost-Pieter Katoen, Zihan Zhou |
| 2024 | AAAI | Natural Strategic Ability in Stochastic Multi-Agent Systems. | Raphal Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano |
| 2021 | DLT | Active Learning of Sequential Transducers with Side Information About the Domain. | Raphal Berthon, Adrien Boiret, Guillermo A. Prez, Jean-Franois Raskin |
| 2020 | LICS | Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. | Raphal Berthon, Shibashis Guha, Jean-Franois Raskin |
| 2017 | ICALP | Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. | Raphal Berthon, Mickael Randour, Jean-Franois Raskin |
| 2017 | LICS | Strategy logic with imperfect information. | Raphal Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2016 | CADE | Satisfiability Modulo Free Data Structures Combined with Bridging Functions. | Raphal Berthon, Christophe Ringeissen |