Value Function Calculus and Applications | AMiner