Model Checking for the Goal-Feedback-Result Pattern in ROS.

Wei Wei, Xiaojuan Li, Yong Guan, Rui Wang, Qian Lu, Jie Zhang

Browse the full ISPA paper archive.