Author:Rens, G; Lakemeyer, G; Meyer, TDate:Aug 2012We propose a non-standard modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic is multi-modal, indexed with actions; the logic is also augmented ...Read more