ROSRV is a runtime verification framework for the Robot Operating System (ROS). For more information, please visit http://fsl.cs.illinois.edu/ROSRV