@misc{indiciaeb2c7a8d254c9,
  title = {Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes (extended version)},
  author = {Aaron Bohy and Véronique Bruyère and Jean-François Raskin},
  year = {2014},
  url = {https://arxiv.org/abs/1402.1076},
  note = {Source identifier: 1402.1076}
}