Dynamic Programming for the stochastic Navier-Stokes equations Giuseppe da Prato and Arnaud Debussche ESAIM: M2AN, 34 2 (2000) 459-475 Published online: 15 April 2002 DOI: 10.1051/m2an:2000151