k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics

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

By Callan Zhang · May 19, 2026 · Editorial standards →

Summarised from the primary source with AI assistance under human editorial oversight. Turing Wire is not a primary source — read the original for the authoritative account.

Source: arXiv cs.LG