@misc{indiciae0e7aa778537b,
  title = {SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions},
  author = {Hongchao Zhang and Zhizhen Qin and Sicun Gao and Andrew Clark},
  year = {2024},
  url = {https://arxiv.org/abs/2410.20326},
  note = {Source identifier: 2410.20326}
}