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

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