HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification

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…