Dynamic programming principle and Hamilton-Jacobi-Bellman equation for optimal control problems with uncertainty | Synapse