A verified architecture for sensor fusion

Chris M. Pearson, Penelope J. Probert. A verified architecture for sensor fusion. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 1991, Osaka, Japan, November 3-5, 1991. pages 1089-1094, IEEE, 1991. [doi]

Abstract

Abstract is missing.