k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics

Ben Wooding, Hongchao Zhang, Taylor T. Johnson +1

While conventional (k=1) discrete-time barrier certificate conditions impose strict safety constraints by requiring the function to be non-increasing at every step, k-inductive bar…