@misc{indiciae2f6af95018eb,
  title = {The Probabilistic Model Checker Storm},
  author = {Christian Hensel and Sebastian Junges and Joost-Pieter Katoen and Tim Quatmann and Matthias Volk},
  year = {2020},
  url = {https://arxiv.org/abs/2002.07080},
  note = {Source identifier: 2002.07080}
}