@misc{indiciae1d7a10561e44,
  title = {Formal Safety Verification for Nonlinear Systems with Generative Barrier Certificate},
  author = {Mengxin Ren and Hanrui Zhao},
  year = {2026},
  doi = {10.1007/978-981-92-3438-7\_21},
  url = {https://arxiv.org/abs/2608.18118},
  note = {Source identifier: 2608.18118}
}