conf.researchr.org / Michaela Klauck
![Michaela Klauck](https://conf.researchr.org/getProfileImage/michaelaklauck/66d25fd7-e35a-4c3b-b0c7-ef0d948a0796/small.jpg?1718213713000)
Registered user since Thu 31 Jan 2019
Name:Michaela Klauck
Country:Germany
Affiliation:Saarland Informatics Campus, Saarland University
Personal website: https://depend.cs.uni-saarland.de/~klauck/
Research interests:quantitative verification, Markov decision processes, automatic planning
Contributions