Lebeltel, Olivier and Bessiere, Pierre and Diard, Julien and Mazer, Emmanuel (2000) Bayesian robot Programming. [Departmental Technical Report]