@misc{indiciaec36639b28d07,
  title = {Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning},
  author = {Zikang Xiong and Suresh Jagannathan},
  year = {2022},
  url = {https://arxiv.org/abs/2104.10219},
  note = {Source identifier: 2104.10219}
}