@misc{indiciae192b4796603d,
  title = {Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning},
  author = {Yu Wang and Nima Roohi and Matthew West and Mahesh Viswanathan and Geir E. Dullerud},
  year = {2020},
  url = {https://arxiv.org/abs/2004.00273},
  note = {Source identifier: 2004.00273}
}