Formal safety validation of mobile robot teleoperationVain, Jüri; Suzuki, Satoshi; Kuusik, AlarBEC 2004 : proceedings of the 9th Biennial Baltic Electronics Conference : October 3-6, 2004, Tallinn, Estonia2004 / p. 161-164 : ill

Scrub nurse robot system - intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgeryMiyawaki, Fujio; Masamune, Ken; Suzuki, Satoshi; Yoshimitsu, Kitaro; Vain, JüriIEEE transactions on industrial electronics2005 / 5, p. 1227-1235 : ill https://ieeexplore.ieee.org/abstract/document/1512454