Tran Cao Son Chitta Baral Formalizing sensing actions A transition function based approach. 19-91 2001 125 Artif. Intell. 1-2 db/journals/ai/ai125.html#SonB01 http://dx.doi.org/10.1016/S0004-3702(00)00080-1