@misc{indiciaedd76c7a3fede,
  title = {Sampling-Based Verification of CTMCs with Uncertain Rates},
  author = {Thom S. Badings and Nils Jansen and Sebastian Junges and Marielle Stoelinga and Matthias Volk},
  year = {2022},
  doi = {10.1007/978-3-031-13188-2\_2},
  url = {https://arxiv.org/abs/2205.08300},
  note = {Source identifier: 2205.08300}
}