Reflected stochastic recursive control problems with jumps: dynamic programming and stochastic verification theoremsLu Liu and Qingmeng WeiESAIM: COCV, 32 (2026) 36DOI: https://doi.org/10.1051/cocv/2026020
