Piotr Trojanek, Kerstin Eder. Verification and testing of mobile robot navigation algorithms: A case study in SPARK. In 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014. pages 1489-1494, IEEE, 2014. [doi]
Abstract is missing.