Held a talk on "Verification of ROS-based Systems: Guidelines for Developers and QA Teams" @ Robotics Software Engineering Workshop at GSSI. L’Aquila, Italy.