@article{VSRL2020,
  title={Verifiably Safe Exploration for End-to-End Reinforcement Learning},
  author={Hunt, Nathan and Fulton, Nathan and Magliacane, Sara and Hoang, Nghia and Das, Subhro and Solar-Lezama, Armando},
  journal={arXiv preprint arXiv:2007.01223},
  year={2020}
}