@misc{indiciae64552bc88b5d,
  title = {Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations},
  author = {Abolfazl Lavaei and Sadegh Soudjani and Majid Zamani},
  year = {2019},
  url = {https://arxiv.org/abs/1906.02930},
  note = {Source identifier: 1906.02930}
}