verification in robotics

Experiences in applying formal verification in robotics

FREE-DOWNLOAD [PDF] D Walter, H Täubig… – Computer Safety, Reliability, and Security, 2011
Abstract. 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
designing, implementing and certifying a safety function for autonomous vehicles and