Before revision:  Our first main contribution is to prove a dynamic pro- gramming principle for this control problem in an abstract setting, which we then use to provide a semimartingale characterization of the value function.
After revision:  Our first main contribution is to prove a dynamic programming principle for this control problem in an abstract setting, which we then use to provide a semimartingale characterization of the value function.