@TechReport{Hongfei14,
  author      = {Hongfei Fu},
  title       = {Verifying Probabilistic Systems: New Algorithms and Complexity Results},
  school      = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University},
  type        = {Dissertation},
  year        = {2014},
  month       = {December},
  issn        = {0935-3232},
  number      = {AIB-2014-16},
  institution = {RWTH Aachen University},
  keywords    = {verification, probabilistic systems}
}