Author of the publication

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.

, , , , , , , and . IEEE Trans. Hum. Mach. Syst., 46 (2): 186-196 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Robot to Human Approaches: Preliminary Results on Comfortable Distances and Preferences., , , , and . AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics, page 103-. AAAI, (2007)Looking Good? Appearance Preferences and Robot Personality Inferences at Zero Acquaintance., , , , and . AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics, page 86-92. AAAI, (2007)Towards socially adaptive robots: A novel method for real time recognition of human-robot interaction styles., , and . Humanoids, page 353-359. IEEE, (2008)Extending the Temporal Horizon of Autonomous Robots., , , and . AMiRE, page 389-395. Springer, (2005)'Doing the right thing wrong' - Personality and tolerance to uncomfortable robot approaches., , , , and . RO-MAN, page 183-188. IEEE, (2006)A long-term Human-Robot Proxemic study., , , and . RO-MAN, page 137-142. IEEE, (2011)The Theatre methodology for facilitating discussion in human-robot interaction on information disclosure in a home environment., , , , and . RO-MAN, page 479-484. IEEE, (2011)A personalized robot companion? - The role of individual differences on spatial preferences in HRI scenarios., , , and . RO-MAN, page 1143-1148. IEEE, (2007)An initial memory model for virtual and robot companions supporting migration and long-term interaction., , , , , and . RO-MAN, page 277-284. IEEE, (2009)Selecting services for a service robot: Evaluating the problematic activities threatening the independence of elderly persons., , , , , , , and . ICORR, page 1-6. IEEE, (2013)