120
Voted
SAFECOMP
2010
Springer
15 years 18 days ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...