Verification and testing of mobile robot navigation algorithms: A case study in SPARK.

Piotr Trojanek, Kerstin Eder

Browse the full IROS paper archive.