Author:Rens, G; Meyer, T; Ferrein, A; Lakemeyer, GDate:Jul 2011The authors propose a novel modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic draws both on POMDP theory and logics of action and change. The ...Read more