@misc{indiciae808edce4301d,
  title = {Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)},
  author = {Carlos E. Budde and Arnd Hartmanns and Tobias Meggendorfer and Maximilian Weininger and Patrick Wienhöft},
  year = {2025},
  doi = {10.1007/978-3-031-90643-5\_9},
  url = {https://arxiv.org/abs/2411.00559},
  note = {Source identifier: 2411.00559}
}