Tejas Kumar Shastha

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

In this paper, we propose a novel representation and verification technique for software components in a robotic system using a linear logic theorem prover. Linear logic includes consumable resources together with persistent resources, enabling representing and reasoning of robotic domains. We demon…