Dynamic Programming for the stochastic Navier-Stokes equationsGiuseppe da Prato and Arnaud DebusscheESAIM: M2AN, 34 2 (2000) 459-475DOI: https://doi.org/10.1051/m2an:2000151