This is the code that was used in the paper "Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers".
To run this code YALMIP (https://yalmip.github.io/) and the solver Mosek (https://www.mosek.com/) are required.