Courses



Supervised Students

  • Master thesis: "Model Checking of Probabilistic Graphical Models"
    student: David Deininger, 2016, Max Planck Institute for Software Systems
  • Bachelor thesis: "Slicing Abstractions for Safety Games"
    student: Robin Wagner, 2013, Saarland University
  • Master thesis: "Symbolic Encodings of Timed Games with Incomplete Information"
    student: Daniel Dahrendorf, 2009, Saarland University