Raphaël Berthon

I have moved to a post-doc position at Université Paris-Saclay, see here for my new website.
This site is outdated.

Publications

2025

Conference paper
A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
Raphael Jean Berthon, Joost-Pieter Katoen, Zihan Zhou
36th International Conference on Concurrency Theory
PDF of A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games RWTH record for A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games BibTeX for A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
Conference paper
Robust Strategies for Stochastic Multi-Agent Systems
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
Proceedings of AAMAS-2025
PDF of Robust Strategies for Stochastic Multi-Agent Systems RWTH record for Robust Strategies for Stochastic Multi-Agent Systems BibTeX for Robust Strategies for Stochastic Multi-Agent Systems

2024

Conference paper
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
Raphael Jean Berthon, Joost-Pieter Katoen, Tobias Winkler
Reachability problems
RWTH record for Markov Decision Processes with Sure Parity and Multiple Reachability Objectives BibTeX for Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
Preprint
Natural Strategic Ability in Stochastic Multi-Agent Systems
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
PDF of Natural Strategic Ability in Stochastic Multi-Agent Systems RWTH record for Natural Strategic Ability in Stochastic Multi-Agent Systems BibTeX for Natural Strategic Ability in Stochastic Multi-Agent Systems
Conference paper
Natural Strategic Ability in Stochastic Multi-Agent Systems
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
Thirty-Eighth AAAI Conference on Artificial Intelligence
RWTH record for Natural Strategic Ability in Stochastic Multi-Agent Systems BibTeX for Natural Strategic Ability in Stochastic Multi-Agent Systems

All records on RWTH Publications