Raphaël Berthon
Postdoctoral researcher
Mail: rberthon@lmf.cnrs.fr
Office : 2S53
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences 91190 Gif-sur-Yvette, France
About Me
My research interests are mainly related to Formal Verification and Strategic Reasoning. They include but are not limited to combinations of:
- Game Theory
- Markov Decision Processes
- Multi-Objective Problems
- Temporal Logic
- Imperfect Information
Scientific Duties
Beyond being a subreviewer for various conference, I have been a PC member of:
I am always eager to review papers within my fields of expertise as long as I have time, don't hesitate to ask.
Publications
For a complete list of my publications, please refer to my DBLP profile.