@misc{indiciaef336939be4fa,
  title = {Pareto Curves for Probabilistic Model Checking},
  author = {Vojtech Forejt and Marta Kwiatkowska and David Parker},
  year = {2012},
  url = {https://arxiv.org/abs/1206.6295},
  note = {Source identifier: 1206.6295}
}