AHS
2007
IEEE
14 years 6 months ago
2007
IEEE
In this paper, we present a new approach for automatic synthesis of fault detection modules for autonomous mobile robots. The method relies on the fact that hardware faults typica...