A framework of model checking guided test vector generation for the 6DOF manipulator.
| Autor: | Lu, Yilin, Guan, Yong, Li, Xiaojuan, Wang, Rui, Zhang, Jie |
|---|---|
| Zdroj: | 2014 IEEE International Conference on Robotics & Automation (ICRA); 2014, p4262-4267, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|