Before revision:  Moreover, the associated optimal feedback strategy is characterized by developing a rigorous verification theorem.
After revision:  The associated optimal feedback strategy is characterized by developing a rigorous verification theorem.