A Recurrence-Based Direct Method for Stability Analysis and GPU-Based Verification of Non-Monotonic Lyapunov Functions | IEEE Conference Publication | IEEE Xplore