TY  - RPRT
TI  - Automated Lyapunov Analysis of Primal-Dual Optimization Algorithms: An Interpolation Approach
AU  - Bryan Van Scoy
AU  - John W. Simpson-Porco
AU  - Laurent Lessard
PY  - 2023
UR  - https://arxiv.org/abs/2309.11365
ID  - 2309.11365
ER  -