Vangular S. Alagar, Kasi Periyasamy. Formal Specifications are Mathematical Example from Robotics. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 1992, Raleigh, NC, USA, 7-10 Jul 1992. pages 733-741, IEEE, 1992. [doi]
Abstract is missing.