Formal Verification of ROS Based Systems Using a Linear Logic Theorem Prover.

Sitar Kortik, Tejas Kumar Shastha

Browse the full ICRA paper archive.