@misc{indiciaec1e81c8e17ca,
  title = {Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees},
  author = {Shaoru Chen and Lekan Molu and Mahyar Fazlyab},
  year = {2024},
  url = {https://arxiv.org/abs/2403.07308},
  note = {Source identifier: 2403.07308}
}