Specification and validation of a control architecture for autonomous mobile robots

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]

Authors

Adelardo A. D. de Medeiros

This author has not been identified. Look up 'Adelardo A. D. de Medeiros' in Google

Raja Chatila

This author has not been identified. Look up 'Raja Chatila' in Google

Sara Fleury

This author has not been identified. Look up 'Sara Fleury' in Google