I am a Ph.D. student at the chair of Prof. Holger Hermanns since November 2017.
I am working in the area of quantitative verification and Markov decision processes and at the interface of these topics to automatic planning.
If you have any questions feel free to contact me or just come to my office:
|Address:||Campus Saarbrücken, 66123 Saarbrücken|
|Phone:||+49 681 302 5634|
|Location:||Bldg. E1 3, Room 508|