TY  - RPRT
TI  - k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
AU  - Ben Wooding
AU  - Hongchao Zhang
AU  - Taylor T. Johnson
AU  - Abolfazl Lavaei
PY  - 2026
UR  - https://arxiv.org/abs/2605.20108
ID  - 2605.20108
ER  -