@misc{indiciae1b1c16686815,
  title = {Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates},
  author = {Udayan Mandal and Guy Amir and Haoze Wu and Ieva Daukantas and Fletcher Lee Newell and Umberto J. Ravaioli and Baoluo Meng and Michael Durling and Milan Ganai and Tobey Shim and Guy Katz and Clark Barrett},
  year = {2024},
  url = {https://arxiv.org/abs/2405.14058},
  note = {Source identifier: 2405.14058}
}