Derivatives and subderivatives of the optimal value function in control theory | lit.salon