Raphaël Berthon

Postdoctoral researcher

About Me

My research interests are mainly related to Formal Verification and Strategic Reasoning. They include but are not limited to combinations of:

• Game Theory
• Markov Decision Processes
• Multi-Objective Problems
• Temporal Logic
• Imperfect Information

Scientific Duties

I am a co-organizer of LAMAS&SR 2026

Beyond being a subreviewer for various conference, I have been a PC member of:

• EUMAS 2023
• ECAI 2025
• AAAI 2026

I am always eager to review papers within my fields of expertise as long as I have time, don't hesitate to ask.

Curriculum vitae

My CV

Publications

Verification of Robust Multi-Agent Systems - Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Accepted at AAMAS 2026

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games - Raphaël Berthon, Joost-Pieter Katoen, Zihan Zhou. CONCUR 2025

Natural Strategic Ability in Stochastic Multi-Agent Systems - Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. AAAI 2024

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives - Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler. RP 2024

Active Learning of Sequential Transducers with Side Information about the Domain - Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin. DLT 2021

Strategy Logic with Imperfect Information - Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi. ACM TOCL 2021

Alternating Tree Automata with Qualitative Semantics - Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre. ACM TOCL 2021

Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes - Raphaël Berthon, Shibashis Guha, Jean-François Raskin. LICS 2020

Strategy Logic with Imperfect Information - Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi. LICS 2017

Decidability results for ATL* with imperfect information and perfect recall - Raphaël Berthon, Bastien Maubert, Aniello Murano. AAMAS 2017

Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes - Raphaël Berthon, Mickael Randour, Jean-François Raskin. ICALP 2017

Satisfiability Modulo Free Data Structures Combined with Bridging Functions - Raphaël Berthon, Christophe Ringeissen. SMT 2016

For a complete list of my publications, please refer to my DBLP profile.

Supervision

At RWTH Aachen University, I supervised the following:

• Master thesis of Zihan Zhou
• Bachelor thesis of Merlin Weise.