Experiences in Applying Formal Verification in Robotics.

Dennis Walter, Holger Tubig, Christoph Lth

Browse the full SAFECOMP paper archive.