@misc{indiciaefdd57b25a891,
  title = {On the Metric-based Approximate Minimization of Markov Chains},
  author = {Giovanni Bacci and Giorgio Bacci and Kim G. Larsen and Radu Mardare},
  year = {2018},
  doi = {10.1016/j.jlamp.2018.05.006},
  url = {https://arxiv.org/abs/1806.00528},
  note = {Source identifier: 1806.00528}
}