Decision theory on dynamic domains nabla derivatives and the Hamilton-Jacobi-Bellman equation | IEEE Conference Publication | IEEE Xplore