@misc{indiciaea727dc37af5f,
  title = {Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes},
  author = {Pranav Ashok and Tomáš Brázdil and Jan Křetínský and Ondřej Slámečka},
  year = {2018},
  url = {https://arxiv.org/abs/1809.03299},
  note = {Source identifier: 1809.03299}
}