84 citations · 143 across the 4 of their papers we have counts for
1 paper · 1 filter
Jesse Wayment, Brian Yarbrough, Jingbo Wang +2
This work introduces HyParLyVe (Hyperplane Partitioned Lyapunov Verifier), a novel algorithm for sound and complete verification of neural Lyapunov candidates by interpreting shall…