@misc{indiciaed41b00e8aead,
  title = {Verifiable Reinforcement Learning via Policy Extraction},
  author = {Osbert Bastani and Yewen Pu and Armando Solar-Lezama},
  year = {2019},
  url = {https://arxiv.org/abs/1805.08328},
  note = {Source identifier: 1805.08328}
}