@article{kinductiveneuralbarriercertificatesforun, 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}, eprint = {2605.20108}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2605.20108}, }