Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation. - Paul Hamelbeck; Johannes Schiffer (CoRR, 2025)