Raphaël Berthon

berthon at cs.rwth-aachen.de
Room 4205
Ahornstraße 55
D-52074 Aachen
+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.


Show all

See my DBLP page.