TY - RPRT TI - Defining Lyapunov functions as the solution of a performance estimation saddle point problem AU - Olivier Fercoq PY - 2024 UR - https://arxiv.org/abs/2411.12317 ID - 2411.12317 ER -