@misc{indiciae466445b156ec,
  title = {Verification of general Markov decision processes by approximate similarity relations and policy refinement},
  author = {S. Haesaert and S. Esmaeil Zadeh Soudjani and A. Abate},
  year = {2016},
  url = {https://arxiv.org/abs/1605.09557},
  note = {Source identifier: 1605.09557}
}