141. M.M. de Weerdt, F.S. de Boer, W. van der Hoek & J.-J. Ch. Meyer, Imprecise Observations of Mobile Robots Specified by a Modal Logic, in Proc. of the fifth annual conference of the Advanced School for Computing and Imaging