@TechReport{Hensel18,
  author      = "Christian Hensel",
  title       = "The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking",
  institution = "RWTH Aachen University",
  keywords    = "model checking, probabilistic analysis, symbolic methods, Storm",
  year        = "2018",
  number      = "AIB-2018-06",
  month       = dec,
  url         = "http://aib.informatik.rwth-aachen.de/2018/2018-06.pdf",
}