Geoffrey Biggs, Takeshi Sakamoto, Kiyoshi Fujiwara, Keiju Anada. Experiences with model-centred design methods and tools in safe robotics. In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013. pages 3915-3922, IEEE, 2013. [doi]
Abstract is missing.