Our paper on ROSY, an elegant language to teach the pure reactive nature of robot programming, has just been accepted at the International Conference on Robotic Computing (IRC). Our work on the verification of system-wide safety properties of ROS applications has been accepted on the co-located Workshop on Engineering Resilient Robot Software Systems (ERRoSS).
