@misc{indiciae55b9770ddffe,
  title = {Correct Probabilistic Model Checking with Floating-Point Arithmetic},
  author = {Arnd Hartmanns},
  year = {2021},
  url = {https://arxiv.org/abs/2110.08785},
  note = {Source identifier: 2110.08785}
}