AHS
2007
IEEE
13 years 11 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...