Dynamic Programming and a Verification Theorem for the Recursive Stochastic Control Problem of Jump-Diffusion Models With Random Coefficients | IEEE Journals & Magazine | IEEE Xplore