Raphaël Berthon

Raphaël Berthon is a Researcher in the Software Modeling and Verification Group at RWTH Aachen University, led by Professor Joost-Pieter Katoen. His work focuses on Formal Verification, Logic, and Automata Theory, with particular emphasis on combinations of Game Theory, Stochastic Models, Parity Objectives, Temporal Logic, and Imperfect Information. Current research explores strategic ability in stochastic multi-agent systems and objectives in Markov Decision Processes.

Education background is not explicitly detailed in the provided texts, but his affiliation with RWTH Aachen University's Department of Computer Science indicates advanced academic qualifications in computer science or related fields.

Publications from 2024 highlight contributions to stochastic multi-agent systems and Markov Decision Processes, reflecting his expertise in theoretical computer science and probabilistic systems. No awards or grants are explicitly mentioned in the texts.

He is affiliated with the LuFG i2 (Theory of Hybrid Systems) and contributes to the MOVES group's research activities. Contact details include an office at Room 4205, Ahornstraße 55, Aachen.