@misc{indiciae5a4232cbb855,
  title = {Quantitative model-checking of controlled discrete-time Markov processes},
  author = {Ilya Tkachev and Alexandru Mereacre and Joost-Pieter Katoen and Alessandro Abate},
  year = {2014},
  url = {https://arxiv.org/abs/1407.5449},
  note = {Source identifier: 1407.5449}
}