3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ. - Kyo Chul Kang; Moonzoo Kim; Jaejoon Lee; Byungkil Kim; Youngjin Hong; Hyoungki Lee; Seokwon Bang (ICRA, 2005)

Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. - Moonzoo Kim; Kyo Chul Kang; Hyoungki Lee (ICRA, 2005)

Detecting and tracking people by mobile robot using structured light range sensor. - Youngjin Hong; Myungjin Jung; Hyun Myung; Hyoungki Lee; Yongbeom Lee; Sang Ryong Kim (IROS, 2005)

Fuzzy-logic-assisted interacting multiple model (FLAIMM) for mobile robot localization. - Hyoungki Lee; Jongdae Jung; Kiwan Choi; Jiyoung Park; Hyun Myung (Robotics Auton. Syst., 2012)