Yuhki Hosoya, Clarke differentials and the envelope theorem in dynamic programming, Vol. 2027 (2027), No. 1, pp. 1-22