@misc{indiciae358d0af2a0c8,
  title = {Learning a Formally Verified Control Barrier Function in Stochastic Environment},
  author = {Manan Tayal and Hongchao Zhang and Pushpak Jagtap and Andrew Clark and Shishir Kolathaya},
  year = {2024},
  url = {https://arxiv.org/abs/2403.19332},
  note = {Source identifier: 2403.19332}
}