Cover Image

Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hamelbeck, Paul, Schiffer, Johannes
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Input Convex Lipschitz Recurrent Neural Networks for Robust and Efficient Process Modeling and Optimization
by: Wang, Zihao, et al.
Published: (2024)

Robustness Certificates for Neural Networks against Adversarial Attacks
by: Taheri, Sara, et al.
Published: (2025)

R2DN: Scalable Parameterization of Contracting and Lipschitz Recurrent Deep Networks
by: Barbara, Nicholas H., et al.
Published: (2025)

On Robust Reinforcement Learning with Lipschitz-Bounded Policy Networks
by: Barbara, Nicholas H., et al.
Published: (2024)

Improved Scalable Lipschitz Bounds for Deep Neural Networks
by: Syed, Usman, et al.
Published: (2025)

Risk-Sensitive Soft Actor-Critic for Robust Deep Reinforcement Learning under Distribution Shifts
by: Enders, Tobias, et al.
Published: (2024)

Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification
by: Anderson, Brendon G., et al.
Published: (2021)

Towards Safe Learning-Based Non-Linear Model Predictive Control through Recurrent Neural Network Modeling
by: Clement, Mihaela-Larisa, et al.
Published: (2026)

ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks
by: Xu, Yuezhu, et al.
Published: (2024)

LDLT $\mathcal{L}$-Lipschitz Network: Generalized Deep End-To-End Lipschitz Network Construction
by: Juston, Marius F. R., et al.
Published: (2025)

Foundations of Safe Online Reinforcement Learning in the Linear Quadratic Regulator: $\sqrt{T}$-Regret
by: Schiffer, Benjamin, et al.
Published: (2025)

Foundations of Safe Online Reinforcement Learning in the Linear Quadratic Regulator: Generalized Baselines
by: Schiffer, Benjamin, et al.
Published: (2024)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Fast and Reliable $N-k$ Contingency Screening with Input-Convex Neural Networks
by: Christianson, Nicolas, et al.
Published: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
by: Noori, Sahel Vahedi, et al.
Published: (2024)

LipKernel: Lipschitz-Bounded Convolutional Neural Networks via Dissipative Layers
by: Pauli, Patricia, et al.
Published: (2024)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

User-centric Vehicle-to-Grid Optimization with an Input Convex Neural Network-based Battery Degradation Model
by: Mallick, Arghya, et al.
Published: (2025)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
by: Schön, Oliver, et al.
Published: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
by: Serry, Mohamed, et al.
Published: (2026)

Parametric Nonconvex Optimization via Convex Surrogates
by: Wang, Renzi, et al.
Published: (2026)

Convex Hybrid Modeling: An Operator-Based Approach
by: Tang, Wentao
Published: (2026)

Differentiable Projection-based Learn to Optimize in Wireless Network-Part I: Convex Constrained (Non-)Convex Programming
by: Wang, Xiucheng, et al.
Published: (2025)

A Passivity-Based Method for Accelerated Convex Optimisation
by: Cho, Namhoon, et al.
Published: (2023)

RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness
by: Barbara, Nicholas H., et al.
Published: (2023)

Global Rewards in Multi-Agent Deep Reinforcement Learning for Autonomous Mobility on Demand Systems
by: Hoppe, Heiko, et al.
Published: (2023)

Component-Aware Pruning Framework for Neural Network Controllers via Gradient-Based Importance Estimation
by: Sundaram, Ganesh, et al.
Published: (2026)

Neural Network-Based Piecewise Survival Models
by: Holmer, Olov, et al.
Published: (2024)

Robust Power System State Estimation using Physics-Informed Neural Networks
by: Falas, Solon, et al.
Published: (2025)

Pontryagin Optimal Control via Neural Networks
by: Gu, Chengyang, et al.
Published: (2022)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
by: Wang, Zhuoyuan, et al.
Published: (2024)

Provably-Stable Neural Network-Based Control of Nonlinear Systems
by: Li, Anran, et al.
Published: (2025)

Robust stabilization of polytopic systems via fast and reliable neural network-based approximations
by: Fabiani, Filippo, et al.
Published: (2022)

Understanding the differences in Foundation Models: Attention, State Space Models, and Recurrent Neural Networks
by: Sieber, Jerome, et al.
Published: (2024)

Graph Neural Networks on Factor Graphs for Robust, Fast, and Scalable Linear State Estimation with PMUs
by: Kundacina, Ognjen, et al.
Published: (2023)

Constructive Lyapunov Functions via Topology-Preserving Neural Networks
by: Oh, Jaehong
Published: (2025)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
by: Mulagaleti, Sampath Kumar, et al.
Published: (2025)