We can directly construct functional automata for the partial derivatives of F (first order and if needed second order), see Proposition 3.3.
we can use a gradient method to find a local extremum of F .