Training a neural network controller and Lyapunov function to maximize the region of attraction while respecting actuation constraints.