David Müller

My name in:

• LaTeX: David M{\"u}ller
• HTML: David Müller
• UTF-8: David M+00FCller

Currently, I am a doctoral student in the research training group QuantLA. I work under the supervision of Christel Baier in the area of probabilistic model checking and automata theory.

I am responsible for first aid at the Institute of Theoretical Computer Science of TU Dresden.

Contact

Publication list

• Joachim Klein, David Müller, Christel Baier, and Sascha Klüppelholz: "Are Good-for-games Automata Good for Probabilistic Model Checking?", 8th International Conference on Language and Automata Theory and Applications, 2014
• Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Křetínský, David Müller, David Parker and Jan Strejcek: "The Hanoi Omega-Automata Format", 27th International Conference on Computer Aided Verification, 2015
• Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker and David Müller: "Advances in Symbolic Probabilistic Model Checking with PRISM", 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2016, (to appear)

Talks

• Pseudodeterminism in the context of probabilistic model checking (Status talk)
  • QuantLA Workshop 2015, Zeuthen, Germany
• Are Good-for-games Automata Good for Probabilistic Model Checking?
  • FFM 2015, Aachen, Germany
  • LATA 2014, Madrid, Spain
  • Rocks project meeting 2013, Slenaken, Netherlands
  • QuantLA Workshop 2013, Tautewalde, Germany
• Probabilistic model checking with unambiguous automata over finite words
  • QuantLA research seminar, Winter term 13/14, Dresden, Germany
• Almost Universality for Unambiguous Büchi Automata
  • FECI 2015, Schloss Dagstuhl, Germany
  • QuantLA research seminar, Summer term 15, Dresden, Germany
• Symbolic Model Checking of Timed Automata
  • QuantLA Research Seminar, Summer term 2013, Dresden, Germany