Adelardo A. D. de Medeiros, Raja Chatila, Sara Fleury. Specification and validation of a control architecture for autonomous mobile robots. In Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS 1996, November 4-8, 1996, Osaka, Japan. pages 162-169, IEEE, 1996. [doi]
Abstract is missing.