On the existence and neural network representation of separable control Lyapunov functions. - Mario Sperl; Jonas Mysliwitz; Lars Grüne (Autom., 2025)