A logical and Algebraic Approach for Analyzing the Multi-sensor Cooperation System of the Mobile Robot

• 一种机器人多传感器联合系统的逻辑和代数分析方法