2005 | ||
---|---|---|
2 | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang: 3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ. ICRA 2005: 2903-2908 | |
1 | Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee: Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. ICRA 2005: 4739-4744 |
1 | Seokwon Bang | [2] |
2 | Youngjin Hong | [2] |
3 | Kyo Chul Kang | [1] [2] |
4 | Byungkil Kim | [2] |
5 | Moonzoo Kim | [1] [2] |
6 | Jaejoon Lee | [2] |