@misc{indiciae3d128b36c0f7,
  title = {Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions},
  author = {Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate},
  year = {2015},
  doi = {10.2168/lmcs-11(3:8)2015},
  url = {https://arxiv.org/abs/1504.00039},
  note = {Source identifier: 1504.00039}
}