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]
@inproceedings{MedeirosCF96,
title = {Specification and validation of a control architecture for autonomous mobile robots},
author = {Adelardo A. D. de Medeiros and Raja Chatila and Sara Fleury},
year = {1996},
doi = {10.1109/IROS.1996.570655},
url = {http://doi.ieeecomputersociety.org/10.1109/IROS.1996.570655},
researchr = {https://researchr.org/publication/MedeirosCF96},
cites = {0},
citedby = {0},
pages = {162-169},
booktitle = {Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS 1996, November 4-8, 1996, Osaka, Japan},
publisher = {IEEE},
isbn = {0-7803-3213-X},
}