@misc{indiciae4d2c321bb0c3,
  title = {CEGAR for Qualitative Analysis of Probabilistic Systems},
  author = {Krishnendu Chatterjee and Martin Chmelik and Przemyslaw Daca},
  year = {2014},
  url = {https://arxiv.org/abs/1405.0835},
  note = {Source identifier: 1405.0835}
}