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.
|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.
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.
Modest FRET-π LRTDP
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|