A framework of model checking guided test vector generation for the 6DOF manipulator.

Yilin Lu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang

Browse the full ICRA paper archive.