Formal Verification of the Robot Movements- a Case Study on Home Service Robot SHR100
- Title
- Formal Verification of the Robot Movements- a Case Study on Home Service Robot SHR100
- Authors
- 강교철
- Date Issued
- 2005-04-18
- Publisher
- IEEE
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/58478
- Article Type
- Conference
- Citation
- 2005 International Conference on Robotics and Automation (ICRA2005), page. 4750 - 4755, 2005-04-18
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.