@misc{indiciaeb241dc938a7d,
  title = {Verifying Reachability Properties in Markov Chains via Incremental Induction},
  author = {Elizabeth Polgreen and Martin Brain and Martin Fraenzle and Alessandro Abate},
  year = {2019},
  url = {https://arxiv.org/abs/1909.08017},
  note = {Source identifier: 1909.08017}
}