@misc{indiciaeb9d860fd7584,
  title = {Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version)},
  author = {Y. Zacchia Lun and J. Wheatley and A. D'Innocenzo and A. Abate},
  year = {2018},
  doi = {10.1016/j.ifacol.2018.08.016},
  url = {https://arxiv.org/abs/1804.08554},
  note = {Source identifier: 1804.08554}
}