- 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
Publications
2024 | |
---|---|
[bibtex] [issue] | Raphael Jean Berthon, Joost-Pieter Katoen, , . 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. |
[bibtex] [issue] | Raphael Jean Berthon, Joost-Pieter Katoen, , . Natural Strategic Ability in Stochastic Multi-Agent Systems, 10 Seiten, 2024. https://arxiv.org/abs/2401.12170 |
[bibtex] [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.