Literature Review on Verification of ROS programs

Post date: Nov 16, 2017 12:39:25 AM

Feasibility of Porting a P-like Language to ROS [Report] [Slides]