k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics (bibtex)

by Ben Wooding, Hongchao Zhang, Taylor T. Johnson and Abolfazl Lavaei

Reference:

Ben Wooding, Hongchao Zhang, Taylor T. Johnson and Abolfazl Lavaei, "k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics", In 3rd International Conference on Neuro-symbolic Systems (NeuS'26), PMLR, 2026.

Bibtex Entry:

@inproceedings{wooding2026neus,
  title = {k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics},
  author = {Ben Wooding and Hongchao Zhang and Taylor T. Johnson and Abolfazl Lavaei},
  year = {2026},
  booktitle = {3rd International Conference on Neuro-symbolic Systems (NeuS'26)},
  publisher = {PMLR},
  keywords = {barrier certificates, neural networks, k-induction, nonlinear systems, safety verification, neurosymbolic},
  publabel = {C64},
  pubtype = {C},
  dblp = {journals/corr/abs-2605-20108},
}