@misc{indiciae282cdb83028a,
  title = {Formal Error Bounds for the State Space Reduction of Markov Chains},
  author = {Fabian Michel and Markus Siegle},
  year = {2024},
  doi = {10.1016/j.peva.2024.102464},
  url = {https://arxiv.org/abs/2403.07618},
  note = {Source identifier: 2403.07618}
}