A Classical Stochastic Verification Theorem for Stochastic Recursive Optimization Problems

摘要

In this paper, we study a stochastic recursive optimal control problem in which the system is governed by a forward-backward stochastic differential equation. Under mild assumptions, a classical stochastic verification theorem is derived.