activity
20222026
most citedThe Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

28 citations · 42 across the 8 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2026

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…