Raphaël Berthon

Email
berthon at cs.rwth-aachen.de
Address
Room 4205
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21227

I am a postodc in the Software Modeling and Verification Group headed by Professor J.-P. Katoen.

Research. My research interests are mainly related to Formal Verification, Logic, and Automata. They include but are not limited to combinations of:

  • Game Theory
  • Stochastic Models
  • Parity Objectives
  • Temporal Logic
  • Imperfect Information
I am currently studying combinations of sure and stochastic objectives on Markov Decision Processes.

Publications

2024
DOI [bibtex]
@conference{NSASMAS2024,
title = {Natural Strategic Ability in Stochastic Multi-Agent Systems},
author = {Raphael Jean Berthon and Joost-Pieter Katoen and Munyque Mittelmann and Aniello Murano},
publisher = {Association for the Advancement of Artificial Intelligence},
booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence},
volume = {38,16},
pages = {17308-17316},
type = {Conference Paper},
year = {2024},
doi = {10.1609/aaai.v38i16.29678},
url = { https://publications.rwth-aachen.de/record/992292},
}×
[issue]
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, 38. AAAI Conference on Artificial Intelligence (AAAI 2024), Volume 38,16 of Proceedings of the AAAI Conference on Artificial Intelligence, 17308-17316, Association for the Advancement of Artificial Intelligence, 2024.
DOI arXiv:2401.12170 [bibtex]
@unpublished{NSASMAS2024,
title = {Natural Strategic Ability in Stochastic Multi-Agent Systems},
author = {Raphael Jean Berthon and Joost-Pieter Katoen and Munyque Mittelmann and Aniello Murano},
pages = {10 Seiten},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2401.12170},
url = { https://arxiv.org/abs/2401.12170},
}×
[issue]
Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, 10 Seiten, 2024. https://arxiv.org/abs/2401.12170
DOI [bibtex]
@conference{MDPSPMRO2024,
title = {Markov Decision Processes with Sure Parity and Multiple Reachability Objectives},
author = {Raphael Jean Berthon and Joost-Pieter Katoen and Tobias Winkler},
publisher = {Springer},
booktitle = {LNCS},
volume = {15050},
pages = {203-220},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-72621-7_14},
url = { https://publications.rwth-aachen.de/record/997143},
}×
[issue]
Raphael Jean Berthon, Joost-Pieter Katoen, Tobias Winkler. Markov Decision Processes with Sure Parity and Multiple Reachability Objectives, 18. International Conference on Reachability Problems (RP 2024), Volume 15050 of LNCS, 203-220, Springer, 2024.

See my DBLP page.