@misc{indiciaeb59388bfaf53,
  title = {Bounded Satisfiability for PCTL},
  author = {Nathalie Bertrand and John Fearnley and Sven Schewe},
  year = {2012},
  url = {https://arxiv.org/abs/1204.0469},
  note = {Source identifier: 1204.0469}
}