SMS versenden: Semimartingale models of stochastic optimal control, with apllications to double martingales