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

Show all

See my DBLP page.