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