I am a Ph.D. student at the chair of Prof. Holger Hermanns since November 2017 where I am working in the area of quantitative verification and Markov decision processes, especially at the interface of these topics to automatic planning.

I studied Computer Science at Saarland University where I received my Master’s degree in March 2018 and my Bachelor’s degree in July 2016.


Year Publication
2019 Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters:
The Quantitative Verification Benchmark Set
TACAS (1) 2019: 344-350.
  Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz:
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)
TACAS (3) 2019: 69-92.
2018 Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns:
Compiling Probabilistic Model Checking into Probabilistic Planning ICAPS 2018: 150-154.
Technical Report
The current version of the script to translate JANI MDP models with a restricted syntax into PPDDL used in these papers can be found here.
2017 Michaela Klauck, Yusuke Sugano, Andreas Bulling:
Noticeable or Distractive? A Design Space for Gaze-Contingent User Interface Notifications
CHI EA 2017: 1779-1786.



We bridged probabilistic planning to probabilistic model checking based on the results of our evaluation in Compiling Probabilistic Model Checking into Probabilistic Planning and implemented FRET-π LRTDP in The Modest Toolset. FRET-π LRTDP has been implemented in the probabilistic version of Fast Downward, a planning tool, by Marcel Steinmetz. The latest release of Modest FRET-π LRTDP can be downloaded here.


2018 Teaching Assistant, Seminar Probabilistic Models of Concurrency, Saarland University
2018 Organizer, Lecturer and Coach for Mathematics Precourse, Saarland University
2018 Teaching Assistant, Mathematische Grundlagen der Computerlinguistik III: Statistische Methoden, Saarland University
2017 Lecturer and Coach for Mathematics Precourse, Saarland University, received the BESTE award for student initiatives and extraordinary commitment
2016 Lecturer and Coach for Mathematics Precourse, Saarland University
2016 Student TA, Nebenläufige Programmierung, Saarland University
2015 Student TA, Grundzüge der Algorithmen und Datenstrukturen, Saarland University
2014 Student TA, Programmierung 1, Saarland University


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
E-mail: klauck@depend.uni-saarland.de