Fahiem Bacchus Joseph Y. Halpern Hector J. Levesque Reasoning about Noisy Sensors and Effectors in the Situation Calculus. 171-208 1999 111 Artif. Intell. 1-2 db/journals/ai/ai111.html#BacchusHL99 http://dx.doi.org/10.1016/S0004-3702(99)00031-4